Add new arg ignore_fact_topology
for proving bootloader programs
#116
Job | Run time |
---|---|
15m 20s | |
1h 4m 53s | |
1h 20m 13s |
ignore_fact_topology
for proving bootloader programs
#116
Job | Run time |
---|---|
15m 20s | |
1h 4m 53s | |
1h 20m 13s |