Skip to content
Kind2 CI

Merge pull request #1087 from daniel-larraz/check-bound-var-type #1535

Sign in to view logs

Merge pull request #1087 from daniel-larraz/check-bound-var-type

Merge pull request #1087 from daniel-larraz/check-bound-var-type #1535

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 16s
kind2-build (macos-12)
12m 27s
kind2-build (macos-14)
9m 55s
27m 38s