Skip to content
CI

Try adding a timeLimitMultiplier #435

Sign in to view logs

Try adding a timeLimitMultiplier

Try adding a timeLimitMultiplier #435

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

main.yml

on: push
Verify
1m 26s
Verify
Test dafny_go
16s
Test dafny_go
Test NFS server
45s
Test NFS server
Test NFS server (macOS)
38s
Test NFS server (macOS)
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Verify
Process completed with exit code 2.
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/
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/