 kokomo123
|
2986dcc22c
github actions: update checkout actions to v4 (#870)
|
vor 2 Monaten |
 nodiscc
|
3982f18161
tools/github actions: do not run scheduled jobs on forks of the original repository (#62)
|
vor 1 Jahr |
|
nodiscc
|
0a6c1bd8fd
tools/github actions: update-metadata: only run the build job once the update-metadata job completed successfully
|
vor 1 Jahr |
|
nodiscc
|
7412b5ad24
tools/github actions: build and push html/markdown exports after automatic metadata updates
|
vor 1 Jahr |
|
nodiscc
|
d157f626ce
tools: makefile/github actions: don't call make install target multiple times
|
vor 1 Jahr |
|
nodiscc
|
423b418371
tools/github actions: fix concurrency between workflows
|
vor 1 Jahr |
|
nodiscc
|
696063534a
tools: github actions: job IDs may only contain alphanumeric characters, '_', and '-'.
|
vor 1 Jahr |
|
nodiscc
|
05ad5ea709
tools/github actions: set job names
|
vor 1 Jahr |
|
nodiscc
|
986e2dde55
tools/github actions: set workflow names
|
vor 1 Jahr |
|
nodiscc
|
083b9f0605
tools/github actions: separate workflows for pull requests and build from each commit on master
|
vor 1 Jahr |
|
nodiscc
|
af5ff2b3e5
tools/github actions: move url checks to a separate workflow
|
vor 1 Jahr |
|
nodiscc
|
39d413986c
tools/github actions: rename workflows/update-metadata.yml -> daily-update-metadata.yml
|
vor 1 Jahr |
