Skip to content

fixes #1687

fixes #1687 #5

Triggered via pull request July 19, 2025 06:39
@affeldt-aistaffeldt-aist
synchronize #1688
Status Failure
Total duration 44s
Artifacts

nix-action-8.20-2.3.0.yml

on: pull_request_target
mathcomp-classical
0s
mathcomp-classical
mathcomp
0s
mathcomp
mathcomp-analysis-single
0s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
ssprove
0s
ssprove
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.