Skip to content
CI

Skip test_indirectcfi when Z3 times out #92

Sign in to view logs

Skip test_indirectcfi when Z3 times out

Skip test_indirectcfi when Z3 times out #92

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci / Build
3m 14s
ci / Lint
1m 12s
ci / Test (0)
1m 43s
ci / Test (1)
2m 27s
ci / Test (2)
2m 12s
ci / Test (3)
2m 27s
ci / Test (4)
1m 42s
ci / Test (5)
1m 41s
ci / Test (6)
2m 0s
ci / Test (7)
1m 53s
ci / Test (8)
1m 22s
ci / Test (9)
1m 3s
ci / Publish Unit Tests Results
1s
22m 57s