Skip to content
Back to pull request #274

paco 4.2.1 #913

Sign in to view logs

paco 4.2.1

paco 4.2.1 #913

Triggered via pull request October 15, 2024 06:59
@vbglvbgl
opened #274
Status Success
Total duration 10m 8s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
4m 6s
coq
coq-shell
1m 0s
coq-shell
Fit to window
Zoom out
Zoom in