Skip to content
CI

Release coq-itree 5.1.2 #289

Sign in to view logs

Release coq-itree 5.1.2

Release coq-itree 5.1.2 #289

Triggered via pull request October 23, 2023 09:34
@palmskogpalmskog
synchronize #2791
Lysxia:master
Status Success
Total duration 6m 20s
Artifacts –

ci.yml

on: pull_request
build
6m 7s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in