Skip to content
Nix CI for bundle 9.0

Adapt to https://github.com/math-comp/math-comp/pull/1354 #11

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1354

Adapt to https://github.com/math-comp/math-comp/pull/1354 #11

Triggered via pull request February 28, 2025 13:35
@proux01proux01
synchronize #66
Status Cancelled
Total duration 1m 22s
Artifacts –

nix-action-9.0.yml

on: pull_request_target
coq
38s
coq
mathcomp
29s
mathcomp
odd-order
0s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp
The run was canceled by @proux01.
mathcomp
The operation was canceled.