Use dynamic_include to include the generated file dune.inc
#2934
| Job | Run time |
|---|---|
| 3m 7s | |
| 22s | |
| 0s | |
| 0s | |
| 3m 29s |
dynamic_include to include the generated file dune.inc
#2934
| Job | Run time |
|---|---|
| 3m 7s | |
| 22s | |
| 0s | |
| 0s | |
| 3m 29s |