lean4-htt/.github
Johan Commelin c53ab2835c
fix: pin version of softprops/action-gh-release (#8710)
This PR pins the precise hash of softprops/action-gh-release to

    softprops/action-gh-release@da05d55257

because the latest version is broken.
See https://github.com/softprops/action-gh-release/issues/628 for more
details.
2025-06-11 00:08:18 +00:00
..
ISSUE_TEMPLATE chore: mention #version in bug report template (#5769) 2024-10-30 02:46:48 +00:00
workflows fix: pin version of softprops/action-gh-release (#8710) 2025-06-11 00:08:18 +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