search

toku-sa-n / coqfmt

Coq code formatter
https://toku-sa-n.github.io/coqfmt/
GNU Affero General Public License v3.0
21 stars 2 forks source link

Pin versions of external GitHub Actions by hashes #462

Closed toku-sa-n closed 5 months ago

toku-sa-n commented 5 months ago

See https://blog.rafaelgss.dev/why-you-should-pin-actions-by-commit-hash.