Skip to content
Nix CI for bundle 8.18

Curry is continuous #447

Sign in to view logs

Curry is continuous

Curry is continuous #447

Triggered via pull request January 18, 2024 04:02
@zstone1zstone1
synchronize #926
Status Success
Total duration 15m 34s
Artifacts –

nix-action-8.18.yml

on: pull_request_target
coq
1m 1s
coq
mathcomp-analysis
7m 47s
mathcomp-analysis
mathcomp-analysis-single
58s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in