Skip to content

Commit

Permalink
ci: ensure the devcontainer latest tag is up to date locally before p…
Browse files Browse the repository at this point in the history
…ulling

Signed-off-by: Fritz Lehnert <13189449+Neudrino@users.noreply.github.com>
  • Loading branch information
Neudrino committed Mar 30, 2022
1 parent f9584ac commit 5eb376d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@
"coolchyni.beyond-debug",
],
"image": "ghcr.io/magma/magma/devcontainer:latest",
"initializeCommand": "docker pull ghcr.io/magma/magma/devcontainer:latest",
"settings": {
"search.followSymlinks": false,
"terminal.integrated.profiles.linux": {
Expand Down

0 comments on commit 5eb376d

Please sign in to comment.