Compare commits
No commits in common. "ci-gitea" and "master" have entirely different histories.
@ -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
|
|
@ -35,8 +35,11 @@
|
|||||||
|
|
||||||
bench6Master = bench6.overrideAttrs (old: {
|
bench6Master = bench6.overrideAttrs (old: {
|
||||||
src = builtins.fetchGit {
|
src = builtins.fetchGit {
|
||||||
url = "https://jungle.bsc.es/git/rarias/bench6";
|
url = "https://pm.bsc.es/gitlab/rarias/bench6.git";
|
||||||
ref = "master";
|
#ref = "master";
|
||||||
|
# FIXME: Just for testing
|
||||||
|
ref = "heat";
|
||||||
|
rev = "466e50e511e11087f6e9298b3ac851fcab7d459c";
|
||||||
};
|
};
|
||||||
});
|
});
|
||||||
};
|
};
|
||||||
|
Loading…
Reference in New Issue
Block a user