Skip to content
Nix CI for bundle master

Hierarchy builder merged #2270

Sign in to view logs

Hierarchy builder merged

Hierarchy builder merged #2270

Triggered via pull request January 23, 2024 10:05
@affeldt-aistaffeldt-aist
synchronize #1161
affeldt-aist:hierarchy-builder_merged
Status Success
Total duration 31m 45s
Artifacts –

nix-action-master.yml

on: pull_request
coq
4m 42s
coq
coq-elpi
3m 3s
coq-elpi
mathcomp-bigenough
5m 20s
mathcomp-bigenough
mathcomp-finmap
5m 36s
mathcomp-finmap
hierarchy-builder
1m 32s
hierarchy-builder
mathcomp
11m 20s
mathcomp
mathcomp-analysis
20m 45s
mathcomp-analysis
mathcomp-analysis-single
20m 57s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in