Skip to content
Nix CI for bundle master

Ordinal 0.5.3 (#291) #975

Sign in to view logs

Ordinal 0.5.3 (#291)

Ordinal 0.5.3 (#291) #975

Triggered via push November 28, 2024 08:10
@vbglvbgl
pushed 349d864
master
Status Success
Total duration 9m 32s
Artifacts –

nix-action-master.yml

on: push
coq
40s
coq
coq-shell
40s
coq-shell
Fit to window
Zoom out
Zoom in