Skip to content

CI: coverage from Julia 1 on ubuntu, save the cache only from a job that succeeds - #18

Merged
michakraus merged 1 commit into
mainfrom
ci/coverage-julia-1
Oct 8, 2026
Merged

CI: coverage from Julia 1 on ubuntu, save the cache only from a job that succeeds#18
michakraus merged 1 commit into
mainfrom
ci/coverage-julia-1

Commits

  1. Commits on Oct 8, 2026