Use pwd in reportify-coq to fix build in submodules #411
| Job | Run time |
|---|---|
| 1h 40m 19s | |
| 14s | |
| 59s | |
| 1m 42s | |
| 14m 8s | |
| 12m 49s | |
| 35m 5s | |
| 53m 18s | |
| 2h 18m 57s | |
| 33s | |
| 2s | |
| 5h 58m 6s |
| Job | Run time |
|---|---|
| 1h 40m 19s | |
| 14s | |
| 59s | |
| 1m 42s | |
| 14m 8s | |
| 12m 49s | |
| 35m 5s | |
| 53m 18s | |
| 2h 18m 57s | |
| 33s | |
| 2s | |
| 5h 58m 6s |