fix(ci): unbreak workflow YAML and add a complete actions.lock (#368) #36

	# SPDX-License-Identifier: AGPL-3.0-or-later
	# This workflow is managed by gh actions-lock.
	# This workflow is managed by gh actions-lock.
	name: GitHub Pages (Ddraig SSG)
	on:
	push:
	branches: [main, master]
	workflow_dispatch:
	permissions:
	contents: read
	pages: write
	id-token: write
	concurrency:
	group: "pages"
	cancel-in-progress: false
	jobs:
	build:
	runs-on: ubuntu-latest
	timeout-minutes: 15
	container:
	image: ghcr.io/stefan-hoeck/idris2-pack@sha256:f0758996a931fb35d9ecb1de273c4d59dabe2a09b433afc7e357f65a08b7e1ff
	steps:
	- name: Checkout Site
	uses: actions/checkout@v7.0.1
	- name: Checkout Ddraig SSG
	uses: actions/checkout@v7.0.1
	with:
	repository: hyperpolymath/ddraig-ssg
	path: .ddraig-ssg
	- name: Compile Ddraig
	working-directory: .ddraig-ssg
	run: idris2 Ddraig.idr -o ddraig
	- name: Build site
	run: ./.ddraig-ssg/build/exec/ddraig build site _site https://nesy-prover.dev
	- name: Add playground
	run: \|
	mkdir -p _site/playground
	cp echidna-playground/index.html echidna-playground/styles.css _site/playground/
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v5.0.0
	with:
	path: '_site'
	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	timeout-minutes: 15
	needs: build
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v5.0.0

Navigation Menu