Skip to content

fix type for hbox.history.port #13

fix type for hbox.history.port

fix type for hbox.history.port #13

Triggered via push June 25, 2024 10:56
Status Success
Total duration 2m 25s
Artifacts
shellcheck
7s
shellcheck
lint pom.xml and maven plugins
11s
lint pom.xml and maven plugins
Matrix: verify
Build and check reproducible
0s
Build and check reproducible
Create a draft release
0s
Create a draft release
Fit to window
Zoom out
Zoom in