Skip to content
CI

[coq-neural-net-interp-computed] Document incompatibility with Coq 8.… #181

Sign in to view logs

[coq-neural-net-interp-computed] Document incompatibility with Coq 8.…

[coq-neural-net-interp-computed] Document incompatibility with Coq 8.… #181

Triggered via push October 4, 2023 18:43
@JasonGrossJasonGross
pushed acaeb87
master
Status Success
Total duration 5m 40s
Artifacts –

ci.yml

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