Skip to content
Nix CI for bundle coq8.20+mcmathcomp-2.3.0

Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352" #4

Sign in to view logs

Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352"

Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352" #4

Triggered via pull request March 7, 2025 08:56
@proux01proux01
opened #99
Status Success
Total duration 13m 3s
Artifacts –

nix-action-coq8.20+mcmathcomp-2.3.0.yml

on: pull_request_target
coq
39s
coq
mathcomp-bigenough
45s
mathcomp-bigenough
mathcomp-real-closed
42s
mathcomp-real-closed
mathcomp-abel
3m 36s
mathcomp-abel
Fit to window
Zoom out
Zoom in