Skip to content
Nix CI for bundle default

update meta data #3

Sign in to view logs

update meta data

update meta data #3

Triggered via pull request November 11, 2023 13:14
@CohenCyrilCohenCyril
synchronize #2
update
Status Success
Total duration 3m 57s
Artifacts –

nix-action-default.yml

on: pull_request
coq
38s
coq
coq-elpi
1m 22s
coq-elpi
trocq
1m 34s
trocq
Fit to window
Zoom out
Zoom in