Compare commits

..

No commits in common. "ci-gitea" and "master" have entirely different histories.

2 changed files with 5 additions and 12 deletions

View File

@ -1,10 +0,0 @@
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

View File

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