fixup! Change CI to use new kernel and rom

cartesi · Oct 29, 2019 · 533606e · 533606e
1 parent ac09087
commit 533606e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -69,6 +69,7 @@ jobs:
 
       - name: Download [kernel.bin]
         uses: Legion2/[email protected]
+        with:
           repository: cartesi-corp/image-kernel
           tag: 'plic'
           file: kernel.bin