Skip to content
CI

Add package for coq's bench for neural-net interp project #71

Sign in to view logs

Add package for coq's bench for neural-net interp project

Add package for coq's bench for neural-net interp project #71

Triggered via pull request September 8, 2023 02:43
@JasonGrossJasonGross
opened #2709
JasonGross:add-neural-net-coq-interp
Status Success
Total duration 3m 15s
Artifacts –

ci.yml

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