Skip to content
Nix CI for bundle 8.20

Add missing dependency altreals -> bigenough #534

Sign in to view logs

Add missing dependency altreals -> bigenough

Add missing dependency altreals -> bigenough #534

Triggered via pull request October 29, 2024 17:26
@proux01proux01
synchronize #1373
Status Success
Total duration 30m 44s
Artifacts –

nix-action-8.20.yml

on: pull_request_target
coq
37s
coq
mathcomp-analysis
14m 47s
mathcomp-analysis
mathcomp
40s
mathcomp
mathcomp-analysis-single
14m 28s
mathcomp-analysis-single
mathcomp-analysis-stdlib
11m 54s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in