Update Rodos to fix target rodos::without_main
(#70)
#27
Job | Run time |
---|---|
4m 33s | |
2m 11s | |
6m 44s |
rodos::without_main
(#70)
#27
Job | Run time |
---|---|
4m 33s | |
2m 11s | |
6m 44s |