Skip to content
ci

feat: spec 25-26 verification - per-shell binding closure (global sca… #20

Sign in to view logs

feat: spec 25-26 verification - per-shell binding closure (global sca…

feat: spec 25-26 verification - per-shell binding closure (global sca… #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify ontos-generated streams with this oracle
30s
test (ubuntu-latest, 3.11)
1m 9s
test (macos-14, 3.13)
52s
rebound-anchor
13s
test (ubuntu-latest, 3.13)
1m 10s
verify ontos-generated streams with this oracle
40s
test (ubuntu-latest, 3.13)
1m 10s
test (ubuntu-latest, 3.11)
1m 9s
test (macos-14, 3.13)
52s
rebound-anchor
13s
7m 58s