Skip to content

Update the git hooks: one Julia process per hook - #375

Merged
michakraus merged 5 commits into
mainfrom
githooks/one-julia-process
Nov 1, 2026
Merged

michakraus merged 5 commits into
mainfrom
githooks/one-julia-process