Skip to content
Nix CI for bundle 8.15

Hb pick #2043

Sign in to view logs

Hb pick

Hb pick #2043

Triggered via pull request September 22, 2023 14:59
@proux01proux01
opened #1026
Status Failure
Total duration 33m 57s
Artifacts –

nix-action-8.15.yml

on: pull_request_target
coq
39s
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.