deploy #580

	---
	# yamllint disable rule:line-length

	name: "deploy"

	on: # yamllint disable-line rule:truthy
	workflow_run:
	workflows:
	- build
	types:
	- completed

	concurrency:
	group: pages
	cancel-in-progress: false

	permissions:
	contents: read

	jobs:
	agregate:
	name: Agregate build artifacts
	runs-on: ubuntu-latest
	if: ${{ github.event.workflow_run.conclusion == 'success' }}
	container:
	image: ghcr.io/texasinstruments/processor-sdk-doc:latest
	options: --entrypoint /bin/bash

	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
	with:
	persist-credentials: false

	- name: Add directory to safe dir overrides
	run: \|
	git config --global --add safe.directory "$PWD"

	- name: Download all artifacts
	uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	path: build
	merge-multiple: true
	run-id: ${{ github.event.workflow_run.id }}

	- name: Generate root index
	run: ./bin/root_index.py

	- name: Deduplicate assets
	run: ./bin/dedupe.py

	- name: Upload static files as single artifact
	uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
	with:
	path: build

	deploy:
	name: Deploy
	runs-on: ubuntu-latest
	needs: agregate
	permissions:
	pages: write # Required for deployment to GitHub Pages
	id-token: write # Required for deployment to GitHub Pages

	steps:
	- name: Update github page deployment
	uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0

Navigation Menu