Pavol Žáčik a9a49365d3 web: Add a workflow for Github Pages ... The manual is now built automatically with each push to the master branch.		2026-03-03 16:28:26 +01:00
..
codeql.yml	Add CodeQL workflow for GitHub code scanning	2022-11-09 07:41:20 +00:00
docker-build.yml	Dockerfile: New to build on a bootc image	2025-05-29 16:57:19 -04:00
pages.yml	web: Add a workflow for Github Pages	2026-03-03 16:28:26 +01:00