Skip to content
Verify with KeY

finished the specification for sort. #30

Sign in to view logs

finished the specification for sort.

finished the specification for sort. #30

Triggered via push June 15, 2024 09:01
@mattulbrichmattulbrich
pushed a177cb7
main
Status Success
Total duration 54s
Artifacts –

check.yml

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

Annotations

4 errors
verify (ubuntu-latest, 21, ArrayList)
Tried to apply rule
verify (ubuntu-latest, 21, ArrayList)
Process completed with exit code 1.
verify (macos-latest, 21, ArrayList)
Tried to apply rule
verify (macos-latest, 21, ArrayList)
Process completed with exit code 1.