Skip to content
Nix CI for bundle default

Update REQUIREMENTS.md #117

Sign in to view logs

Update REQUIREMENTS.md

Update REQUIREMENTS.md #117

Triggered via push January 11, 2024 19:11
@CohenCyrilCohenCyril
pushed 4d2d532
master
Status Success
Total duration 7m 34s
Artifacts –

nix-action-default.yml

on: push
coq
1m 3s
coq
coq-elpi
3m 43s
coq-elpi
trocq
2m 21s
trocq
Fit to window
Zoom out
Zoom in