censorbib/.github/workflows
Philipp Winter 1b540a56e5 Only run the build for pull requests.
No need to run it for every single push.
2024-03-10 15:09:33 -05:00
..
build.yaml Only run the build for pull requests. 2024-03-10 15:09:33 -05:00
deploy-website.yaml Replace "main" with "master". 2024-03-10 14:39:23 -05:00