Skip to content
Back to pull request #2777

Tactician beta2 for Coq 8.11 and 8.17 #248

Sign in to view logs

Tactician beta2 for Coq 8.11 and 8.17

Tactician beta2 for Coq 8.11 and 8.17 #248

Triggered via pull request October 18, 2023 22:51
@LasseBlaauwbroekLasseBlaauwbroek
opened #2777
LasseBlaauwbroek:tactician-beta2-8.11
Status Success
Total duration 5m 51s
Artifacts –

ci.yml

on: pull_request
build
5m 40s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in