Skip to content
Dependabot Automerge

[CI] [alpine-edge] coq => rocq #373

Sign in to view logs

[CI] [alpine-edge] coq => rocq

[CI] [alpine-edge] coq => rocq #373

Triggered via pull request March 13, 2025 21:20
@JasonGrossJasonGross
opened #2066
fix-alpine
Status Success
Total duration 6m 42s
Artifacts –

dependabot-automerge.yml

on: pull_request
dependabot-automerge
4s
dependabot-automerge
Fit to window
Zoom out
Zoom in