Skip to content
Tests

Use a custom Github action for setting up the SMT solvers #2899

Sign in to view logs

Use a custom Github action for setting up the SMT solvers

Use a custom Github action for setting up the SMT solvers #2899

Re-run triggered February 27, 2025 16:34
@wadoonwadoon
#3569
weigl/cleanup/dlsmt
Status Success
Total duration 40s
Artifacts 3

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
unit-tests (ubuntu-latest, 21)
Process completed with exit code 127.
unit-tests (windows-latest, 21)
Process completed with exit code 1.
unit-tests (ubuntu-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.
unit-tests (windows-latest, 21)
No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.