Skip to content
Nix CI for bundle 8.15

Total variation #2327

Sign in to view logs

Total variation

Total variation #2327

Triggered via pull request January 8, 2024 00:45
@zstone1zstone1
synchronize #1118
Status Success
Total duration 10m 0s
Artifacts –

nix-action-8.15.yml

on: pull_request_target
coq
33s
coq
mathcomp-analysis
9m 10s
mathcomp-analysis
mathcomp-analysis-single
8m 58s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in