Skip to content
build

Update Dafny / Java code for Dafny 4.2.0 #492

Sign in to view logs

Update Dafny / Java code for Dafny 4.2.0

Update Dafny / Java code for Dafny 4.2.0 #492

Triggered via pull request July 26, 2023 00:48
@DavePearceDavePearce
opened #584
583-update-to-dafny-v420
Status Failure
Total duration 1m 16s
Artifacts –

build.yml

on: pull_request
build
1m 7s
build
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
build
Process completed with exit code 1.
build
Process completed with exit code 1.
build
Process completed with exit code 1.
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/