Skip to content
Ubuntu Basic CI

BUG: do not initialize codi_global if autodiff is false #51

Sign in to view logs

BUG: do not initialize codi_global if autodiff is false

BUG: do not initialize codi_global if autodiff is false #51

Triggered via push July 18, 2024 13:13
@MathieuMorlighemMathieuMorlighem
pushed 4dc2ae2
main
Status Success
Total duration 15m 49s
Artifacts –

c-cpp.yml

on: push
build
15m 40s
build
Fit to window
Zoom out
Zoom in