Skip to content
Verify with KeY

Bump the gh-actions group with 2 updates #15

Sign in to view logs

Bump the gh-actions group with 2 updates

Bump the gh-actions group with 2 updates #15

Triggered via push April 20, 2024 09:32
@wadoonwadoon
pushed 49f90ba
main
Status Success
Total duration 5m 46s
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 3.
verify (macos-latest, 21, ArrayList)
Process completed with exit code 3.