Skip to content
Nix CI for bundle 8.15

Evt #2235

Sign in to view logs

Evt

Evt #2235

Triggered via pull request November 17, 2023 12:11
@mkerjeanmkerjean
opened #1107
Status Failure
Total duration 42s
Artifacts –

nix-action-8.15.yml

on: pull_request_target
coq
29s
coq
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-analysis-single
0s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.