Skip to content
Coq

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

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 #665

Triggered via pull request April 13, 2024 15:53
@JasonGrossJasonGross
opened #113
JasonGross:patch-2
Status Success
Total duration 4m 1s
Artifacts –

coq.yml

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