Skip to content
Nix CI for bundle default

Adding helper functions #13

Sign in to view logs

Adding helper functions

Adding helper functions #13

Triggered via push November 15, 2023 09:40
@CohenCyrilCohenCyril
pushed 7f4745f
master
Status Success
Total duration 4m 16s
Artifacts –

nix-action-default.yml

on: push
coq
33s
coq
coq-elpi
1m 39s
coq-elpi
trocq
1m 38s
trocq
Fit to window
Zoom out
Zoom in