From 73bcc02aef4254366205cd0c7c7bcf15d5407ab3 Mon Sep 17 00:00:00 2001
From: Luca Colagrande <luca.colagrande3@gmail.com>
Date: Thu, 26 Sep 2024 14:17:08 +0200
Subject: [PATCH] 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   | 28 ++++++++++++++++++++++++++++
 .github/workflows/lint.yml | 34 ----------------------------------
 2 files changed, 28 insertions(+), 34 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 07a0be0d7..674551fbb 100644
--- a/.github/workflows/ci.yml
+++ b/.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/diff-porcelain@v0.0.1
+        with:
+          message: Found differences, please update all sources
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index f36145f0b..152446d3d 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -42,40 +42,6 @@ jobs:
       - name: Check bender vendor up-to-date
         uses: pulp-platform/pulp-actions/bender-vendor-up-to-date@v2.1.0
 
-  ######################
-  # 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/diff-porcelain@v0.0.1
-        with:
-          message: Found differences, please update all sources
-
   #################
   # Check License #
   #################