Skip to content
CI

Update for Dafny 4.8 compatibility #433

Sign in to view logs

Update for Dafny 4.8 compatibility

Update for Dafny 4.8 compatibility #433

Triggered via push October 16, 2024 23:09
@tchajedtchajed
pushed aa3cd3c
main
Status Failure
Total duration 1m 14s
Artifacts –

main.yml

on: push
Verify
1m 3s
Verify
Test dafny_go
28s
Test dafny_go
Test NFS server
24s
Test NFS server
Test NFS server (macOS)
32s
Test NFS server (macOS)
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
Test NFS server
Process completed with exit code 2.
Test NFS server (macOS)
Process completed with exit code 2.
Verify
Process completed with exit code 2.
Test NFS server
The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Test NFS server (macOS)
The following actions use a deprecated Node.js version and will be forced to run on node20: dafny-lang/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/