nodiscc 97f1bad00a tools/github actions: build: always check out the latest commit of the branch that triggered the workflow (#52) ...

- without this, the commit that would be checked out would be the one that triggered the workflow
- when called from the needs: keyword in daily-update-metadata.yml, the build would run from the version prior to automatic metadata update/commit back to the repository

2023-07-31 20:48:34 +00:00

..

build.yml

tools/github actions: build: always check out the latest commit of the branch that triggered the workflow (#52)

2023-07-31 20:48:34 +00:00

check-dead-links.yml

tools/github actions: allow concurrent runs of dead links/unmaintained projects workflows

2023-07-28 14:25:55 +02:00

check-unmaintained-projects.yml

tools: github actions: fail/display red badge when unmaintained projects are detected

2023-07-29 17:57:57 +02:00

daily-update-metadata.yml

tools/github actions: update-metadata: only run the build job once the update-metadata job completed successfully

2023-07-27 14:44:22 +02:00

pull-request.yml

tools: makefile/github actions: don't call make install target multiple times

2023-07-24 20:36:24 +02:00