Skip to content

Merge pull request #1251 from hcoles/feature/pluggable_history #720

Merge pull request #1251 from hcoles/feature/pluggable_history

Merge pull request #1251 from hcoles/feature/pluggable_history #720

Triggered via push September 19, 2023 12:42
Status Success
Total duration 6m 7s
Artifacts

ci.yml

on: push
Matrix: supported-jdk
Fit to window
Zoom out
Zoom in