Skip to content
CI

add coq-coinduction.1.8, adjust Coq bound for coq-coinduction.1.7 #273

Sign in to view logs

add coq-coinduction.1.8, adjust Coq bound for coq-coinduction.1.7

add coq-coinduction.1.8, adjust Coq bound for coq-coinduction.1.7 #273

Triggered via pull request October 20, 2023 14:35
@palmskogpalmskog
opened #2786
palmskog:coinduction-1.8
Status Success
Total duration 7m 48s
Artifacts –

ci.yml

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