Skip to content
CI

Prove last remaining assume #416

Sign in to view logs

Prove last remaining assume

Prove last remaining assume #416

Triggered via push January 11, 2024 23:40
@tchajedtchajed
pushed 8574117
dafny-4
Status Failure
Total duration 57s
Artifacts –

main.yml

on: push
Verify
12s
Verify
Test dafny_go
16s
Test dafny_go
Test NFS server
21s
Test NFS server
Test NFS server (macOS)
42s
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.