Skip to content
Verify with KeY

Using new seqempty syntax #19

Sign in to view logs

Using new seqempty syntax

Using new seqempty syntax #19

Triggered via push June 5, 2024 13:47
@mattulbrichmattulbrich
pushed 5faa162
main
Status Success
Total duration 36s
Artifacts –

check.yml

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

Annotations

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