ci: Add check that RTL sources are up to date

pulp-platform · Aug 6, 2024 · b6c4983 · b6c4983
1 parent 505e070
commit b6c4983
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -56,6 +56,25 @@ jobs:
         with:
           message: Found differences, please update all opcode
 
+  ######################
+  # Sources Up-to-Date #
+  ######################
+  check-sources:
+    name: Check Sources Up-to-Date
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: true
+      - name: Generate RTL sources
+        working-directory: target/snitch_cluster
+        run: |
+          make rtl
+      - name: Diff porcelain
+        uses: mmontes11/[email protected]
+        with:
+          message: Found differences, please update all sources
+
   #################
   # Check License #
   #################