To protect your data, the CISO officer has suggested users to enable 2FA as soon as possible.
Currently 2.7% of users enabled 2FA.

Commit 00c4374f authored by John Zhang's avatar John Zhang
Browse files

ll2mu, mutyper and database are impl dependent

parent f4f6367d
......@@ -21,18 +21,14 @@ mu:test_other:
- cd $MU_TEST_DIR
- $PYTEST test_exctran.py
mu:test_mutyping:
script:
- cd $MU_TEST_DIR
- $PYTEST test_ll2mu.py
- $PYTEST test_mutyper.py
- $PYTEST test_database.py
mu:test_codegen:
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
- cd $MU_TEST_DIR
# tests that depend on mu-impl-ref2 go here
- $PYTEST test_ll2mu.py
- $PYTEST test_mutyper.py
- $PYTEST test_database.py
- $PYTEST test_genmu.py
\ No newline at end of file
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