Skip to content
CI

Skip test_indirectcfi when Z3 times out #95

Sign in to view logs

Skip test_indirectcfi when Z3 times out

Skip test_indirectcfi when Z3 times out #95

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci / Build
3m 10s
ci / Lint
52s
ci / Test (0)
1m 20s
ci / Test (1)
2m 16s
ci / Test (2)
2m 54s
ci / Test (3)
2m 26s
ci / Test (4)
1m 40s
ci / Test (5)
1m 33s
ci / Test (6)
1m 17s
ci / Test (7)
1m 56s
ci / Test (8)
1m 0s
ci / Test (9)
1m 3s
ci / Publish Unit Tests Results
1s
21m 28s