From b6c4983aafc1f6ae36192bfe2128bbc47e589db5 Mon Sep 17 00:00:00 2001 From: Tim Fischer Date: Tue, 6 Aug 2024 16:31:34 +0200 Subject: [PATCH] ci: Add check that RTL sources are up to date --- .github/workflows/lint.yml | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 6337ace3c..73f57861d 100644 --- 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/diff-porcelain@v0.0.1 + with: + message: Found differences, please update all sources + ################# # Check License # #################