Skip to content
Nix CI for bundle 8.19

generalizations (#1147) #26

Sign in to view logs

generalizations (#1147)

generalizations (#1147) #26

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

nix-action-8.19.yml

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