Commit 9d228d82 authored by qinsoon's avatar qinsoon

delete old repo dir if exists in CI script

parent 1ca9b235
Pipeline #470 failed with stages
in 21 minutes and 38 seconds
......@@ -116,7 +116,9 @@ testjit:otherops:
testjit:rpython:
stage: test
script:
- if [ -d "tests/test_jit/RPySOM" ]; then rm -Rf tests/test_jit/RPySOM; fi
- git clone https://github.com/microvm/RPySOM.git tests/test_jit/RPySOM
- if [ -d "tests/test_jit/mu-client-pypy" ]; then rm -Rf tests/test_jit/mu-client-pypy; fi
- git clone https://gitlab.anu.edu.au/mu/mu-client-pypy.git tests/test_jit/mu-client-pypy
- cd tests/test_jit/mu-client-pypy
- git checkout mu-rewrite
......@@ -130,3 +132,4 @@ testjit:rpython:
- .cargo/registry/index
- target
- Cargo.lock
- tests/test_jit/mu-client-pypy
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