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: {
|
||||
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";
|
||||
};
|
||||
});
|
||||
};
|
||||
|
Loading…
Reference in New Issue
Block a user