Merge pull request #3833 from balacij/main

CI: Make sure to build trace graphs & minor cleanups

.github/workflows/Build.yaml

@@ -1,9 +1,9 @@
 on:
   push:
-    paths: [code/**]
+    paths: [code/**, .github/workflows/Build.yaml]
   pull_request:
     branches: main
-    paths: [code/**]
+    paths: [code/**, .github/workflows/Build.yaml]
   workflow_dispatch:
 name: Build
 defaults:
@@ -46,6 +46,11 @@ jobs:
       - name: "Install system requirements"
         run: sudo apt-get install -y --fix-missing libgmp-dev python3 graphviz doxygen fonts-lmodern texlive-bibtex-extra texlive-latex-extra texlive-science texlive-xetex texlive-luatex g++ default-jdk mono-devel inkscape
 
+      - name: "Update PATH"
+        run: |
+          echo "$HOME/.local/bin" >> $GITHUB_PATH
+          echo "$HOME/.swift/usr/bin" >> $GITHUB_PATH
+
       - name: "Install Stack"
         uses: haskell-actions/setup@v2
         with:
@@ -68,11 +73,6 @@ jobs:
       - name: "Clean previous run"
         run: make clean
 
-      - name: "Update PATH"
-        run: |
-          echo "$HOME/.local/bin" >> $GITHUB_PATH
-          echo "$HOME/.swift/usr/bin" >> $GITHUB_PATH
-
       - name: "Install dependencies"
         run: make stackArgs="--no-terminal" deps
 
@@ -113,6 +113,10 @@ jobs:
         run: make convertAnalyzed
         if: ${{ fromJSON(env.is_deployment) }}
 
+      - name: "Build trace graphs" # only needed in deployments, not required for tests
+        run: make tracegraphs
+        if: ${{ fromJSON(env.is_deployment) }}
+
       - name: "Build website generator"
         run: make website
 

.github/workflows/Lint.yaml

@@ -1,7 +1,7 @@
 on:
   pull_request:
     branches: main
-    paths: 'code/drasil-**'
+    paths: [code/drasil-**, .github/workflows/Lint.yaml]
 name: Linter
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

.github/workflows/Wiki.yaml

@@ -1,10 +1,10 @@
 name: Wiki
 on:
   push:
-    branches: [main]
+    branches: main
     paths: [wiki/**, .github/workflows/Wiki.yaml]
   pull_request:
-    branches: [main]
+    branches: main
     paths: [wiki/**, .github/workflows/Wiki.yaml]
 permissions:
   contents: write