fix(deps): update dependency org.dafny:dafnyruntime to v4.8.0 #2522
mend-for-github-com[bot]CI.yml
on: pull_request
Matrix: build
Matrix: integMultiNodeTest
Matrix: integTest
Annotations
11 errors
|
Integ Test JDK21, ubuntu-latest
Process completed with exit code 1.
|
|
Test JDK21, macos-latest
Process completed with exit code 1.
|
|
Multi-Node Integ Test JDK21, ubuntu-latest
Process completed with exit code 1.
|
|
Test JDK21, ubuntu-latest
The job was canceled because "macos-latest_21" failed.
|
|
Test JDK21, ubuntu-latest
The operation was canceled.
|
|
Test JDK21, windows-latest
The job was canceled because "macos-latest_21" failed.
|
|
Test JDK21, windows-latest
The operation was canceled.
|
|
Multi-Node Integ Test JDK21, macos-latest
Process completed with exit code 1.
|
|
Integ Test JDK21, macos-latest
Process completed with exit code 1.
|
|
Multi-Node Integ Test JDK21, windows-latest
Process completed with exit code 1.
|
|
Integ Test JDK21, windows-latest
Process completed with exit code 1.
|