Skip to content
General Tests

Speed up StateReachability pass for large state machines #2816

Sign in to view logs

Speed up StateReachability pass for large state machines

Speed up StateReachability pass for large state machines #2816

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (3.7, 0)
31m 47s
test (3.7, 1)
31m 29s
test (3.7, autoopt)
31m 46s
test (3.11, 0)
31m 46s
test (3.11, 1)
31m 47s
test (3.11, autoopt)
31m 46s
3h 10m 21s