Skip to content

fix(Git): Work around a bug with JGit vs MINA #18981

fix(Git): Work around a bug with JGit vs MINA

fix(Git): Work around a bug with JGit vs MINA #18981

completions

succeeded Jan 30, 2025 in 2m 5s
Set up job
2s
Checkout Repository
2s
Setup Java
0s
Setup Gradle
7s
Generate completions
1m 25s
Check if completions are up-to-date
1s
Post Setup Gradle
27s
Post Setup Java
0s
Post Checkout Repository
0s
Complete job
0s