Skip to content
CI

coq-neural-net-interp-computed can run without coq-native (#2714) #92

Sign in to view logs

coq-neural-net-interp-computed can run without coq-native (#2714)

coq-neural-net-interp-computed can run without coq-native (#2714) #92

Triggered via push September 9, 2023 00:29
@JasonGrossJasonGross
pushed 8a88f42
master
Status Success
Total duration 4m 33s
Artifacts –

ci.yml

on: push
build
4m 3s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in