Skip to content
Nix CI for bundle master-master

CI #2

Sign in to view logs

CI

CI #2

Triggered via pull request December 9, 2025 15:01
@pi8027pi8027
synchronize #66
ci
Status Failure
Total duration 1m 28s
Artifacts –

nix-action-master-master.yml

on: pull_request
coq
1m 23s
coq
mathcomp-ssreflect
0s
mathcomp-ssreflect
mathcomp-zify
mathcomp-zify
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.