Skip to content
CI

Start fixing assume false's #415

Sign in to view logs

Start fixing assume false's

Start fixing assume false's #415

Triggered via push January 11, 2024 23:15
@tchajedtchajed
pushed 75ad622
dafny-4
Status Failure
Total duration 36s
Artifacts –

main.yml

on: push
Verify
13s
Verify
Test dafny_go
21s
Test dafny_go
Test NFS server
20s
Test NFS server
Test NFS server (macOS)
27s
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.