Skip to content
CI

Fix Go compilation issues #417

Sign in to view logs

Fix Go compilation issues

Fix Go compilation issues #417

Triggered via push January 12, 2024 03:30
@tchajedtchajed
pushed 8bfd1d4
dafny-4
Status Failure
Total duration 1m 14s
Artifacts –

main.yml

on: push
Verify
13s
Verify
Test dafny_go
23s
Test dafny_go
Test NFS server
15s
Test NFS server
Test NFS server (macOS)
1m 4s
Test NFS server (macOS)
Fit to window
Zoom out
Zoom in

Annotations

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