ci: Move sources-up-to-date job from lint to ci

Allows us to encode the dependency to the build-docker job

.github/workflows/ci.yml

@@ -155,3 +155,31 @@ jobs:
         working-directory: target/snitch_cluster
         run: |
           ./util/run.py sw/run.yaml --simulator banshee -j
+
+  ######################
+  # Sources Up-to-Date #
+  ######################
+  sources-up-to-date:
+    name: Check Sources Up-to-Date
+    runs-on: ubuntu-22.04
+    needs: build-docker
+    if: >
+      github.event_name != 'pull_request' ||
+      github.event.pull_request.head.repo.full_name != github.repository
+    container:
+      image: ghcr.io/pulp-platform/snitch_cluster:${{ github.ref_name }}
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - name: Generate opcodes
+        run: |
+          ./util/generate-opcodes.sh
+      - 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

.github/workflows/lint.yml

@@ -42,40 +42,6 @@ jobs:
       - name: Check bender vendor up-to-date
         uses: pulp-platform/pulp-actions/[email protected]
 
-  ######################
-  # Sources Up-to-Date #
-  ######################
-  sources-up-to-date:
-    name: Check Sources Up-to-Date
-    runs-on: ubuntu-22.04
-    if: >
-      github.event_name != 'pull_request' ||
-      github.event.pull_request.head.repo.full_name != github.repository
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: true
-      - name: Install bender
-        uses: pulp-platform/pulp-actions/bender-install@v2
-      - uses: actions/setup-python@v5
-        with:
-          python-version: '3.10'
-          cache: 'pip'
-      - name: Install pip dependencies
-        run: |
-          pip install .
-      - name: Generate opcodes
-        run: |
-          ./util/generate-opcodes.sh
-      - 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 #
   #################