Skip to content
CI

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

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 #88

Triggered via pull request September 8, 2023 17:53
@JasonGrossJasonGross
synchronize #2709
JasonGross:add-neural-net-coq-interp
Status Success
Total duration 3m 12s
Artifacts –

ci.yml

on: pull_request
build
2m 59s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in