ci: Clean up of Makefile and Gitpod setup #2252
Job | Run time |
---|---|
1m 49s | |
3m 43s | |
5m 54s | |
7m 6s | |
7m 35s | |
12m 23s | |
5m 31s | |
10m 5s | |
7m 45s | |
9m 15s | |
1h 11m 6s |
Job | Run time |
---|---|
1m 49s | |
3m 43s | |
5m 54s | |
7m 6s | |
7m 35s | |
12m 23s | |
5m 31s | |
10m 5s | |
7m 45s | |
9m 15s | |
1h 11m 6s |