github: add devcontainer.json
for development (#79)
#347
Job | Run time |
---|---|
47s | |
6s | |
1m 6s | |
4m 59s | |
1m 25s | |
1m 4s | |
5m 4s | |
1m 32s | |
1m 39s | |
3m 29s | |
1m 20s | |
26s | |
3m 12s | |
1m 43s | |
47s | |
3m 50s | |
1m 41s | |
34m 10s |