Skip to content
CI

Tactician: Version beta2.1 #274

Sign in to view logs

Tactician: Version beta2.1

Tactician: Version beta2.1 #274

Triggered via pull request October 20, 2023 14:43
@LasseBlaauwbroekLasseBlaauwbroek
opened #2787
LasseBlaauwbroek:coq-tactician-beta2-1
Status Success
Total duration 15m 12s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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