|
auto-merge.yaml
|
prefer squashing for auto-merging (#196)
|
2024-03-03 16:56:43 -08:00 |
|
build.yaml
|
add final results step
|
2024-10-24 16:36:19 +02:00 |
|
lock-update.yaml
|
fix workflow cron
|
2023-12-27 08:02:38 -08:00 |
|
pages.yml
|
build manual in PRs too
|
2024-10-24 16:26:54 +02:00 |