CI: add devcontainer-rebuild workflow (#32564)

* add devcontainer-rebuild workflow

* add shell

* add shell on ifs

* use scripts/retry.sh
pull/32584/head
Mauricio Alvarez Leon 11 months ago committed by GitHub
parent 6b3d2b5a80
commit a2931d1956
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      .github/workflows/tools_tests.yaml

@ -73,7 +73,7 @@ jobs:
- name: Setup Dev Container CLI
run: npm install -g @devcontainers/cli
- name: Build dev container image
run: devcontainer build --workspace-folder .
run: ./scripts/retry.sh devcontainer build --workspace-folder .
- name: Run dev container
run: |
mkdir -p /tmp/devcontainer_scons_cache/

Loading…
Cancel
Save