Skip to content
CI

coq-neural-net-interp-computed can run without coq-native #91

Sign in to view logs

coq-neural-net-interp-computed can run without coq-native

coq-neural-net-interp-computed can run without coq-native #91

Triggered via pull request September 9, 2023 00:29
@JasonGrossJasonGross
opened #2714
JasonGross:nn-interp-no-native
Status Success
Total duration 3m 31s
Artifacts –

ci.yml

on: pull_request
build
3m 21s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in