Fixed contract resolution after quantifier unrolling; some reformatting #3191
PBHTascheAnnotations
7 errors
|
ScalaTestWindowsBasic
This request has been automatically failed because it uses a deprecated version of `actions/cache: v2`. Please update your workflow to use v3/v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
|
ScalaTest (-n MATRIX[2])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[6])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[3])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[0])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
126 MB |
|
|
pallas
|
7.76 MB |
|
|
test-report-macos-latest
|
2.48 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
109 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
115 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
|
115 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
|
115 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
|
113 KB |
|