Fix #241: Create devcontainer.json
to enable GitHub CodeSpaces
#1473
Job | Run time |
---|---|
2s | |
11m 49s | |
18m 49s | |
25m 13s | |
10m 8s | |
15m 27s | |
23m 6s | |
22m 58s | |
29m 19s | |
35m 1s | |
3h 11m 52s |