lean4-htt/.github
Joachim Breitner fc3c82b1c7
chore: denixify stage0-updater workflow (#8452)
This PR lets the stage0 autoupdater build lean using the `cmake`
infrastructure, not the deprecated nix infrastructure.
2025-05-23 13:12:50 +00:00
..
ISSUE_TEMPLATE chore: mention #version in bug report template (#5769) 2024-10-30 02:46:48 +00:00
workflows chore: denixify stage0-updater workflow (#8452) 2025-05-23 13:12:50 +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