Build and Test

deps: update jgit to v7.7.0.202606012155-r #22295

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
funTest-external-tools	43m 24s
build (ubuntu-24.04)	4m 43s
build (windows-2025)	8m 19s
funTest-no-external-tools	14m 2s
codeql-analysis	10m 37s
test (ubuntu-24.04)	11m 38s
test (windows-2025)	18m 51s
publication-test	12m 5s
	2h 3m 39s