Skip to content

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

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

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

Triggered via pull request January 30, 2025 08:29
Status Success
Total duration 7m 55s
Artifacts

static-analysis.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
qodana-scan
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community
qodana-scan
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community
qodana-scan
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community