Add Gitea CI pipeline

.gitea/workflows/ci.yaml

@@ -0,0 +1,10 @@
+name: Benchmark
+on: [push]
+
+jobs:
+  bench:
+    name: build and benchmark
+    runs-on: native
+    steps:
+      - uses: https://gitea.com/ScMi1/checkout@v1.4
+      - run: test/ci.sh

flake.nix

@@ -35,11 +35,8 @@
 
       bench6Master = bench6.overrideAttrs (old: {
         src = builtins.fetchGit {
-          url = "https://pm.bsc.es/gitlab/rarias/bench6.git";
-          #ref = "master";
-          # FIXME: Just for testing
-          ref = "heat";
-          rev = "466e50e511e11087f6e9298b3ac851fcab7d459c";
+          url = "https://jungle.bsc.es/git/rarias/bench6";
+          ref = "master";
         };
       });
     };