Skip to content
Kind2 CI

Abstract if node argument is enum variant #1554

Sign in to view logs

Abstract if node argument is enum variant

Abstract if node argument is enum variant #1554

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
5m 14s
kind2-build (macos-12)
13m 25s
kind2-build (macos-14)
7m 34s
26m 13s