这是indexloc提供的服务,不要输入任何密码
Skip to content

Merge branch 'work/cli-opts' into 'master' #45

Merge branch 'work/cli-opts' into 'master'

Merge branch 'work/cli-opts' into 'master' #45

Triggered via push June 10, 2025 09:58
Status Success
Total duration 2m 41s
Artifacts
shellcheck
9s
shellcheck
lint pom.xml and maven plugins
22s
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