Commit 0c3b46c0 authored by Yi Lin's avatar Yi Lin

Merge branch 'new_ci' into 'develop'

Use refined CI configs

See merge request !35
parents 844ff350 d404c0e3
Pipeline #1177 passed with stages
in 54 minutes and 25 seconds
......@@ -152,8 +152,8 @@ mubench:
- virtualenv -p python3 mubench_venv
- source mubench_venv/bin/activate
- pip install -Ue ./mu-perf-benchmarks
- mkdir example
- mubench local ./mu-perf-benchmarks/example/mu-impl-fast.yml --dump /home/gitlab-runner/results/$(git log -1 --pretty="%h_%at") --pipeline ""
- mkdir ci
- mubench local ./mu-perf-benchmarks/ci/*.yml --dump /home/gitlab-runner/results/$(git log -1 --pretty="%h_%at") --pipeline ""
- rsync -a /home/gitlab-runner/results/* squirrel:~/mu-impl-fast/angus
rustfmt:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment