Skip to content
Kind2 CI

Print result in JSON/XML even if computation of deadlocking trace fails #1508

Sign in to view logs

Print result in JSON/XML even if computation of deadlocking trace fails

Print result in JSON/XML even if computation of deadlocking trace fails #1508

Run time

Learn about OS pricing on GitHub Actions
Job Run time
kind2-build (ubuntu-20.04)
8m 50s
kind2-build (macos-12)
15m 0s
kind2-build (macos-14)
9m 50s
33m 40s