ci: Clean up of Makefile and Gitpod setup #861
| Job | Run time |
|---|---|
| 29s | |
| 29s | |
| 29s | |
| 10m 44s | |
| 10m 41s | |
| 10m 58s | |
| 10m 39s | |
| 10m 40s | |
| 11m 0s | |
| 10m 45s | |
| 10m 40s | |
| 11m 1s | |
| 10m 45s | |
| 10m 34s | |
| 10m 52s | |
| 10m 44s | |
| 10m 38s | |
| 10m 59s | |
| 29s | |
| 29s | |
| 29s | |
| 17s | |
| 17s | |
| 17s | |
| 21s | |
| 21s | |
| 21s | |
| 28s | |
| 28s | |
| 28s | |
| 25s | |
| 25s | |
| 25s | |
| 46s | |
| 46s | |
| 46s | |
| 56s | |
| 56s | |
| 56s | |
| 55s | |
| 55s | |
| 55s | |
| 58s | |
| 58s | |
| 58s | |
| 48s | |
| 48s | |
| 48s | |
| 3h 2m 16s |