Skip to content
Verify with KeY

Update KeY version #23

Sign in to view logs

Update KeY version

Update KeY version #23

Triggered via push June 14, 2024 12:53
@DrodtDrodt
pushed 3450a09
main
Status Success
Total duration 4m 45s
Artifacts –

check.yml

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

Annotations

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