Skip to content
Kind2 CI

Merge pull request #1115 from daniel-larraz/call-with-qvar-arg #1598

Sign in to view logs

Merge pull request #1115 from daniel-larraz/call-with-qvar-arg

Merge pull request #1115 from daniel-larraz/call-with-qvar-arg #1598

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-latest)
5m 47s
kind2-build (macos-13)
12m 5s
kind2-build (macos-14)
8m 15s
26m 7s