Skip to content
Kind2 CI

Merge pull request #1091 from daniel-larraz/logics-free-constants #1543

Sign in to view logs

Merge pull request #1091 from daniel-larraz/logics-free-constants

Merge pull request #1091 from daniel-larraz/logics-free-constants #1543

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 3s
kind2-build (macos-12)
12m 19s
kind2-build (macos-14)
7m 10s
24m 32s