Fix #241: Create devcontainer.json
to enable GitHub CodeSpaces
#1431
Job | Run time |
---|---|
4s | |
23m 36s | |
30m 58s | |
47m 42s | |
21m 0s | |
30m 57s | |
37m 52s | |
24m 39s | |
25m 37s | |
40m 5s | |
4h 42m 30s |