Skip to content
Nix CI for bundle 8.20

Update opam packages #1023

Sign in to view logs

Update opam packages

Update opam packages #1023

Triggered via push February 22, 2025 14:56
@proux01proux01
pushed a8ed02d
master
Status Success
Total duration 39m 48s
Artifacts –

nix-action-8.20.yml

on: push
coq
43s
coq
mathcomp-classical
3m 9s
mathcomp-classical
mathcomp
40s
mathcomp
mathcomp-analysis-single
13m 49s
mathcomp-analysis-single
mathcomp-reals
4m 0s
mathcomp-reals
mathcomp-analysis
11m 32s
mathcomp-analysis
mathcomp-reals-stdlib
1m 28s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 50s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
12m 19s
mathcomp-analysis-stdlib
ssprove
19m 45s
ssprove
Fit to window
Zoom out
Zoom in