fixup! [#65238] Build Renode from sources

antmicro · Sep 10, 2024 · 11827fc · 11827fc
1 parent eb731ef
commit 11827fc
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/dpi-examples.yml b/.github/workflows/dpi-examples.yml
@@ -180,3 +180,5 @@ jobs:
 
       runner: ${{ matrix.config.runner }}
       verilator_artifact: ${{ matrix.config.verilator_artifact }}
+      renode_git_repo: ${{ inputs.renode_git_repo || 'https://github.com/renode/renode' }}
+      renode_git_ref: ${{ inputs.renode_git_ref || 'master' }}
diff --git a/.github/workflows/run-sample.yml b/.github/workflows/run-sample.yml
@@ -22,6 +22,12 @@ on:
       verilator_artifact:
         required: true
         type: string
+      renode_git_repo:
+        required: true
+        type: string
+      renode_git_ref:
+        required: true
+        type: string
 
 env:
   ARTIFACTS_PREFIX: renode-dpi-
@@ -61,7 +67,9 @@ jobs:
 
       - name: Build Renode
         uses: ./.github/build-renode
-        # TODO with repo/ref
+        with:
+          renode_git_repo: ${{ inputs.renode_git_repo }}
+          renode_git_ref: ${{ inputs.renode_git_ref }}
 
       - name: Patch Renode on Windows 
         if: ${{ runner.os == 'Windows' }}