Skip to content

Merge pull request #2059 from dscho/fix-jgit-links #162

Merge pull request #2059 from dscho/fix-jgit-links

Merge pull request #2059 from dscho/fix-jgit-links #162

Triggered via push December 12, 2025 20:18
Status Success
Total duration 2m 13s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
release
Artifact pattern:./progit.mobi did not match any files
release
Artifact pattern :./progit.mobi did not match any files