Skip to content

Unify the profile name across mojos #2335

Unify the profile name across mojos

Unify the profile name across mojos #2335

Triggered via pull request December 16, 2023 07:40
Status Success
Total duration 23m 48s
Artifacts

verify-platform.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
org/eclipse/jgit/internal/JGitText