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

Triggered via pull request September 21, 2026 10:47
@hyperpolymathhyperpolymath
opened #399
fix/send-mail-pin
Status Success
Total duration 5m 30s
Artifacts –

coq-build.yml

on: pull_request
detect-relevant-changes
3s
detect-relevant-changes
Coq build — formal/_CoqProject
Coq build — formal/_CoqProject
coq-build-gate
3s
coq-build-gate
Fit to window
Zoom out
Zoom in

Annotations

2 notices
detect-relevant-changes
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
coq-build-gate
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"