Skip to content
CI

Add version constraints for coq-tactician-dummy to coq-tactician #249

Sign in to view logs

Add version constraints for coq-tactician-dummy to coq-tactician

Add version constraints for coq-tactician-dummy to coq-tactician #249

Triggered via pull request October 18, 2023 22:51
@LasseBlaauwbroekLasseBlaauwbroek
opened #2778
LasseBlaauwbroek:add-tactician-dummy-version-constraint
Status Success
Total duration 6m 6s
Artifacts –

ci.yml

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