Commit 6bc2bd9d authored by John Zhang's avatar John Zhang

modified CI script to use master branch of refimpl, and do sbt clean first

parent 3f4df10c
Pipeline #1051 failed with stage
in 1 minute and 47 seconds
......@@ -23,8 +23,8 @@ mu:test_other:
mu:test_impl_dep:
script:
- git clone https://gitlab.anu.edu.au/mu/mu-impl-ref2 && cd mu-impl-ref2
- git checkout issuemir2-uptr-hack
- sbt compile && cd cbinding && make
- git checkout master
- sbt clean && sbt compile && cd cbinding && make
- cd $MU_TEST_DIR
# tests that depend on mu-impl-ref2 go here
- $PYTEST test_ll2mu.py test_mutyper.py test_database.py test_genmu.py
\ No newline at end of file
- $PYTEST test_ll2mu.py test_mutyper.py test_database.py test_genmu.py
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