Skip to content
Coq Build (formal/)

build(deps): bump the actions group with 2 updates #340

Sign in to view logs

build(deps): bump the actions group with 2 updates

build(deps): bump the actions group with 2 updates #340

Triggered via pull request September 22, 2026 12:28
@dependabotdependabot[bot]
opened #402
dependabot/github_actions/actions-c83b7ed659
Status Success
Total duration 22m 25s
Artifacts –

coq-build.yml

on: pull_request
detect-relevant-changes
4s
detect-relevant-changes
Coq build — formal/_CoqProject
0s
Coq build — formal/_CoqProject
coq-build-gate
2s
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"