Skip to content
Nix CI for bundle 8.14

Redefine \min and \max in function_scope #2802

Sign in to view logs

Redefine \min and \max in function_scope

Redefine \min and \max in function_scope #2802

Triggered via push January 15, 2024 12:33
@proux01proux01
pushed f7b8828
master
Status Failure
Total duration 6m 32s
Artifacts –

nix-action-8.14.yml

on: push
coq
1m 1s
coq
mathcomp-analysis
4m 6s
mathcomp-analysis
mathcomp-analysis-single
4m 54s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp-analysis-single
Process completed with exit code 1.
mathcomp-analysis
Process completed with exit code 1.