ci: add devcontainer publishing

This commit is contained in:
41666 2020-09-23 21:12:35 -04:00
parent afbb5b8269
commit d5fd11b413
3 changed files with 34 additions and 0 deletions

View file

@ -40,3 +40,11 @@ jobs:
xargs -l1 "${GITHUB_WORKSPACE}/bin/bazel" run \
--stamp \
--workspace_status_command hack/workspace_status.sh
- name: Publish Dev Container Image
when: github.ref == refs/heads/main
run: |
"${GITHUB_WORKSPACE}/bin/bazel" run \
--stamp \
--workspace_status_command hack/workspace_status.sh\
//.devcontainer:publish-dev-container