chore(.devcontainer): add core-devel development container
#295
| Job | Run time |
|---|---|
| 1s | |
| 7s | |
| 2h 35m 2s | |
| 2h 35m 10s |
core-devel development container
#295
| Job | Run time |
|---|---|
| 1s | |
| 7s | |
| 2h 35m 2s | |
| 2h 35m 10s |