Skip to content
Coq Build (formal/)

fix(ci): pin action-send-mail by SHA and correct its lockfile entry #334

Sign in to view logs

fix(ci): pin action-send-mail by SHA and correct its lockfile entry

fix(ci): pin action-send-mail by SHA and correct its lockfile entry #334

Run time

Learn about OS pricing on GitHub Actions
Job Run time
detect-relevant-changes
3s
coq-build-gate
3s
Coq build — formal/_CoqProject
-1s
5s