Skip to content
Verify with KeY

Fixed two invariants #44

Sign in to view logs

Fixed two invariants

Fixed two invariants #44

Triggered via push September 10, 2024 14:43
@unp1unp1
pushed 52e780a
main
Status Success
Total duration 1m 21s
Artifacts –

check.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors
verify (macos-latest, 21, BinarySearch)
Process completed with exit code 1.
verify (ubuntu-latest, 21, BinarySearch)
Process completed with exit code 1.