Skip to content
CI

Merge pull request #2787 from LasseBlaauwbroek/coq-tactician-beta2-1 #285

Sign in to view logs

Merge pull request #2787 from LasseBlaauwbroek/coq-tactician-beta2-1

Merge pull request #2787 from LasseBlaauwbroek/coq-tactician-beta2-1 #285

Triggered via push October 21, 2023 09:37
@palmskogpalmskog
pushed 3e58b8a
master
Status Success
Total duration 6m 22s
Artifacts –

ci.yml

on: push
build
5m 54s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in