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

Merge branch 'work/ompi-relocate' into 'master' #18

Merge branch 'work/ompi-relocate' into 'master'

Merge branch 'work/ompi-relocate' into 'master' #18

Triggered via push April 17, 2025 07:41
Status Success
Total duration 2m 42s
Artifacts
shellcheck
12s
shellcheck
lint pom.xml and maven plugins
39s
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