Skip to content
Kind2 CI

Merge pull request #1110 from daniel-larraz/ref-type-free-const #1586

Sign in to view logs

Merge pull request #1110 from daniel-larraz/ref-type-free-const

Merge pull request #1110 from daniel-larraz/ref-type-free-const #1586

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 50s
kind2-build (macos-13)
16m 19s
kind2-build (macos-14)
9m 42s
31m 51s