Skip to content

Merge branch 'java-11-compatibility' of github.com:rjust/defects4j in… #305

Merge branch 'java-11-compatibility' of github.com:rjust/defects4j in…

Merge branch 'java-11-compatibility' of github.com:rjust/defects4j in… #305

Triggered via push September 12, 2024 17:33
Status Success
Total duration 32m 2s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in