Skip to content
Coq

[CI] cancel in-progress pull request CI jobs on push #667

Sign in to view logs

[CI] cancel in-progress pull request CI jobs on push

[CI] cancel in-progress pull request CI jobs on push #667

Triggered via push April 13, 2024 19:01
@andres-erbsenandres-erbsen
pushed 6b98169
master
Status Success
Total duration 25m 21s
Artifacts –

coq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in