Skip to content
CI

Run dafny format #414

Sign in to view logs

Run dafny format

Run dafny format #414

Triggered via push January 11, 2024 16:56
@tchajedtchajed
pushed cb1ff16
dafny-4
Status Failure
Total duration 40s
Artifacts –

main.yml

on: push
Verify
23s
Verify
Test dafny_go
20s
Test dafny_go
Test NFS server
17s
Test NFS server
Test NFS server (macOS)
29s
Test NFS server (macOS)
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Test NFS server
Process completed with exit code 2.
Verify
Process completed with exit code 2.
Test NFS server (macOS)
Process completed with exit code 2.