Bundle stdlibs with runtimes #1
make-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
Matrix: run-make-tests
Annotations
5 errors
run-make-tests (DafnyRuntime/DafnyRuntimeJava)
Process completed with exit code 2.
|
run-make-tests (DafnyRuntime/DafnyRuntimeGo)
Process completed with exit code 2.
|
run-make-tests (DafnyRuntime/DafnyRuntimeJs)
Process completed with exit code 2.
|
run-make-tests (DafnyRuntime)
Process completed with exit code 2.
|
run-make-tests (DafnyRuntime/DafnyRuntimePython)
Process completed with exit code 2.
|