Skip to content
Nix CI for bundle default

Merge pull request #2 from coq-community/update #16

Sign in to view logs

Merge pull request #2 from coq-community/update

Merge pull request #2 from coq-community/update #16

Triggered via push November 29, 2023 14:07
@palmskogpalmskog
pushed b5669c4
master
Status Success
Total duration 4m 12s
Artifacts –

nix-action-default.yml

on: push
coq
31s
coq
coq-elpi
1m 24s
coq-elpi
trocq
1m 44s
trocq
Fit to window
Zoom out
Zoom in