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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
12s
build_rocq (4.14.1)
48s
1m 0s