Add RISC-V benchmarks to bench2

2024-12-09 10:47:01 +01:00
parent a818bd14b6
commit eb1dc238b1
6 changed files with 96 additions and 35 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,6 @@ build:lagarto-ox:
    - nix
  script:
    - nix develop -L .#lagarto-ox --command fpga/run-remotely.sh fpgalogin1:ci
-
 build:lagarto-ox-tarball:
  stage: build
  when: manual
@@ -24,3 +23,9 @@ build:lagarto-ox-tarball:
    - |
      echo "Pinned: https://jungle.bsc.es/~gitlab-runner/nixos-riscv/$fn"
      echo "Latest: https://jungle.bsc.es/~gitlab-runner/nixos-riscv/latest.tar.zst"
+build:qemu-lagarto-ox:
+  stage: build
+  tags:
+    - nix
+  script:
+    - nix develop -L .#qemu-lagarto-ox --command ./boot.sh