From ef2f3e24cf37ac22084b9314e8378b03f6acc4b0 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 26 Apr 2024 18:10:16 +0200
Subject: [PATCH] Add Gitea CI pipeline

---
 .gitea/workflows/ci.yaml | 10 ++++++++++
 flake.nix                |  7 ++-----
 2 files changed, 12 insertions(+), 5 deletions(-)
 create mode 100644 .gitea/workflows/ci.yaml

diff --git a/.gitea/workflows/ci.yaml b/.gitea/workflows/ci.yaml
new file mode 100644
index 0000000..08d6954
--- /dev/null
+++ b/.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
diff --git a/flake.nix b/flake.nix
index 2046189..9769ac7 100644
--- a/flake.nix
+++ b/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";
         };
       });
     };
-- 
2.45.2