Skip to content
Kind2 CI

Array length constraints, update node call type checking context #1272

Sign in to view logs

Array length constraints, update node call type checking context

Array length constraints, update node call type checking context #1272

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04, 4.09.1)
4m 24s
kind2-build (macos-12, 4.09.1)
21m 18s
25m 42s