|
efe1e5ea5e
|
ci: move dev-container again, just dont run it with everything else
|
2020-10-11 15:36:42 -04:00 |
|
|
9e6a942018
|
chore: speed up builds by breaking out dev-container again
|
2020-10-11 06:26:26 -04:00 |
|
|
70fa51d4a1
|
chore: prettier
|
2020-10-10 04:36:22 -04:00 |
|
|
f32b2a2a98
|
chore: update dev-container doc
|
2020-10-07 18:41:36 -04:00 |
|
|
b834066479
|
chore: redo container publishing, port dev-container to bazel
|
2020-10-07 02:02:52 -04:00 |
|
|
4780cf2253
|
ci: move dev-container to only as-needed
|
2020-09-27 01:07:33 -04:00 |
|
|
105b91ce6d
|
ci: devcontainers is weirdo
|
2020-09-23 21:17:02 -04:00 |
|
|
d5fd11b413
|
ci: add devcontainer publishing
|
2020-09-23 21:12:35 -04:00 |
|
|
afbb5b8269
|
chore: add devcontainer for codespaces/etc
|
2020-09-23 17:57:47 -04:00 |
|