From 9eb9e29c871053178fdf636e32b504c9291c2d0a Mon Sep 17 00:00:00 2001
From: Felipe Santos <felipecassiors@gmail.com>
Date: Sat, 19 Nov 2022 16:30:37 -0300
Subject: [PATCH] Build devcontainer in its own job

---
 .github/workflows/pull_request.yml | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index eeb270af1..2286e1743 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -6,6 +6,18 @@ env:
   DEFAULT_PYTHON: 3.9
 
 jobs:
+  build_devcontainer:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-node@master
+        with:
+          node-version: 16.x
+      - name: Install devcontainer cli
+        run: npm install --global @devcontainer/cli
+      - name: Ensure devcontainer builds
+        run: devcontainer build --workspace-folder .
+
   web_lint:
     name: Web - Lint
     runs-on: ubuntu-latest
@@ -19,10 +31,6 @@ jobs:
       - name: Lint
         run: npm run lint
         working-directory: ./web
-      - name: Install devcontainer cli
-        run: npm install --global @devcontainer/cli
-      - name: Ensure devcontainer builds
-        run: devcontainer build --workspace-folder .
 
   web_test:
     name: Web - Test