Skip to content

Merge branch '__rultor' #3943

Merge branch '__rultor'

Merge branch '__rultor' #3943

Triggered via push July 7, 2023 07:50
Status Success
Total duration 11m 34s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mvn.yml

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

Annotations

3 errors
Tests (ubuntu-20.04, 18)
The thread has been interrupted
Tests (ubuntu-20.04, 11)
The thread has been interrupted
Tests (macos-12, 17)
The thread has been interrupted