Skip to content
Nix CI for bundle 8.19

Curry is continuous #21

Sign in to view logs

Curry is continuous

Curry is continuous #21

Triggered via pull request January 18, 2024 04:00
@zstone1zstone1
synchronize #926
Status Success
Total duration 8m 50s
Artifacts –

nix-action-8.19.yml

on: pull_request_target
coq
59s
coq
mathcomp-analysis
7m 34s
mathcomp-analysis
mathcomp-analysis-single
7m 23s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in