lean4-htt/.github/workflows
2023-12-01 08:28:52 +00:00
..
backport.yml chore: CI: add backport action 2023-09-25 11:33:14 +02:00
ci.yml chore: CI: in quick mode, only Nix build runs the tests (#2998) 2023-11-30 17:21:51 +00:00
labels-from-comments.yml feat: add labels from comments (#2460) 2023-08-29 14:09:20 +10:00
nix-ci.yml chore: Run CI on all PRs, even base ≠ master (#2955) 2023-11-23 21:50:30 +00:00
pr-release.yml fix: remove unnecessary step in pr-release.yml (#2976) 2023-11-28 13:18:20 +00:00
pr-title.yml chore: make PR title check work as a merge_group check (#2987) 2023-11-29 12:03:20 +00:00
stale.yml chore: activate stale PR labeler 2023-09-20 09:18:46 +02:00