Skip to content
Nix CI for bundle master

[CI] Update Nix toolbox #86

Sign in to view logs

[CI] Update Nix toolbox

[CI] Update Nix toolbox #86

Triggered via push October 3, 2024 01:20
@IshiguroYoshihiroIshiguroYoshihiro
pushed 7dfb606
master
Status Success
Total duration 3m 9s
Artifacts –

nix-action-master.yml

on: push
coq
38s
coq
mathcomp-bigenough
39s
mathcomp-bigenough
coq-elpi
40s
coq-elpi
mathcomp-finmap
38s
mathcomp-finmap
hierarchy-builder
37s
hierarchy-builder
mathcomp
41s
mathcomp
mathcomp-analysis
40s
mathcomp-analysis
mathcomp-analysis-single
39s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in