Skip to content
CI

(lib/model) fix: exit step early before initialisation #60

Sign in to view logs

(lib/model) fix: exit step early before initialisation

(lib/model) fix: exit step early before initialisation #60

Triggered via push April 23, 2025 14:03
@bensimnerbensimner
pushed d2e4ab7
main
Status Success
Total duration 59s
Artifacts –

ci.yml

on: push
build
12s
build
Matrix: build_rocq
Fit to window
Zoom out
Zoom in