Skip to content
Kind2 CI

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

Sign in to view logs

Array length constraints, update node call type checking context

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04, 4.09.1)
4m 23s
kind2-build (macos-12, 4.09.1)
27m 34s
31m 57s