Skip to content
Nix CI for bundle 8.14

Adapt to https://github.com/math-comp/math-comp/pull/986 #2799

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/986

Adapt to https://github.com/math-comp/math-comp/pull/986 #2799

Triggered via push January 15, 2024 11:27
@proux01proux01
pushed bedcf0c
master
Status Success
Total duration 2m 25s
Artifacts –

nix-action-8.14.yml

on: push
coq
1m 0s
coq
mathcomp-analysis
1m 5s
mathcomp-analysis
mathcomp-analysis-single
1m 3s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in