lean4-htt/.github
Markus Himmel 082c65f226
chore: ci: check for changes to src/stdlib_flags.h (#11679)
This PR adds a CI step that fails if the `src/stdlib_flags.h` file was
modified, to alert PR authors that they most likely wanted to modify
`stage0/src/stdlib_flags.h` instead.
2025-12-15 07:17:12 +00:00
..
ISSUE_TEMPLATE chore: improve bug report template instructions (#11537) 2025-12-07 19:52:52 +00:00
workflows chore: ci: check for changes to src/stdlib_flags.h (#11679) 2025-12-15 07:17:12 +00:00
actionlint.yaml chore: CI: run stage0 update on faster runner (#9178) 2025-07-03 16:14:46 +00:00
dependabot.yml chore: CI: adjust Dependabot prefix 2024-11-05 10:31:37 +01:00
PULL_REQUEST_TEMPLATE.md chore: new PR changelog template (#5976) 2024-11-07 16:59:45 +00:00