Skip to content
CN-Coq

[CN-exec] Fulminate refactor #8

Sign in to view logs

[CN-exec] Fulminate refactor

[CN-exec] Fulminate refactor #8

Triggered via pull request February 7, 2025 17:52
@rbanerjee20rbanerjee20
synchronize #853
rbanerjee20:fulminate-refactor
Status Cancelled
Total duration 1m 6s
Artifacts –

ci-cn-coq.yml

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

Annotations

2 errors
build (5.2.0)
Canceling since a higher priority waiting request for 'ci-CN-Coq-refs/pull/853/merge' exists
build (5.2.0)
The operation was canceled.