Skip to content
Nix CI for bundle default

fix #127

Sign in to view logs

fix

fix #127

Triggered via pull request January 15, 2024 11:09
@CohenCyrilCohenCyril
opened #15
Status Success
Total duration 5m 32s
Artifacts –

nix-action-default.yml

on: pull_request_target
coq
59s
coq
coq-elpi
1m 56s
coq-elpi
trocq
2m 15s
trocq
Fit to window
Zoom out
Zoom in