Skip to content
Nix CI for bundle default

update meta data #14

Sign in to view logs

update meta data

update meta data #14

Triggered via pull request November 28, 2023 14:29
@palmskogpalmskog
synchronize #2
Status Success
Total duration 4m 11s
Artifacts –

nix-action-default.yml

on: pull_request_target
coq
34s
coq
coq-elpi
1m 25s
coq-elpi
trocq
1m 44s
trocq
Fit to window
Zoom out
Zoom in