fix: add z3 dependency in the dockerfile #16
HongleiGudeploy.yml
on: push
Matrix: Test
Build Docker Image
/
Build and Push Docker Image
Matrix: Deploy to Lambda Feedback / build-aws
Waiting for pending jobs
Matrix: Deploy to Lambda Feedback / build-gcp
Waiting for pending jobs
Deploy to Lambda Feedback
/
...
/
deploy
Deploy to Lambda Feedback
/
...
/
deploy
Deploy to Lambda Feedback
/
...
/
deploy
Deploy to Lambda Feedback
/
...
/
deploy
Annotations
3 errors
|
Test (3.12)
Process completed with exit code 2.
|
|
Test (3.12)
Process completed with exit code 1.
|
|
pytest ► evaluation_function.tests.test_equivalence:
pytest.xml#L0
Failed test found in:
pytest.xml
Error:
ImportError while importing test module '/home/runner/work/complexity-eval/complexity-eval/evaluation_function/tests/test_equivalence.py'.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results
Expired
|
707 Bytes |
sha256:81b781ac3b50de0298c0fe0ac90ffd416063939859215a44cdb110b75de0a356
|
|