Skip to content
Nix CI for bundle 8.15

generalizations (#1147) #2400

Sign in to view logs

generalizations (#1147)

generalizations (#1147) #2400

Triggered via push January 18, 2024 05:37
@affeldt-aistaffeldt-aist
pushed cb07aa9
master
Status Success
Total duration 7m 59s
Artifacts –

nix-action-8.15.yml

on: push
coq
56s
coq
mathcomp-analysis
1m 1s
mathcomp-analysis
mathcomp-analysis-single
1m 4s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in