Use pwd in reportify-coq to fix build in submodules #823
| Job | Run time |
|---|---|
| 37m 53s | |
| 49m 47s | |
| 1h 32m 31s | |
| 36m 44s | |
| 56m 1s | |
| 1h 30m 48s | |
| 38m 47s | |
| 51m 39s | |
| 1h 31m 56s | |
| 9h 6m 6s |
| Job | Run time |
|---|---|
| 37m 53s | |
| 49m 47s | |
| 1h 32m 31s | |
| 36m 44s | |
| 56m 1s | |
| 1h 30m 48s | |
| 38m 47s | |
| 51m 39s | |
| 1h 31m 56s | |
| 9h 6m 6s |