Skip to content
Nix CI for bundle 8.20

Update opam keywords #576

Sign in to view logs

Update opam keywords

Update opam keywords #576

Triggered via push November 8, 2024 12:46
@proux01proux01
pushed 6a37d42
master
Status Success
Total duration 33m 11s
Artifacts –

nix-action-8.20.yml

on: push
coq
40s
coq
mathcomp-classical
3m 22s
mathcomp-classical
mathcomp
38s
mathcomp
mathcomp-analysis-single
14m 9s
mathcomp-analysis-single
mathcomp-reals
4m 22s
mathcomp-reals
mathcomp-analysis
12m 0s
mathcomp-analysis
mathcomp-reals-stdlib
1m 41s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 51s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
12m 5s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in