Skip to content

Modernise CI, split out the docs build, and make the per-step paths allocation-free - #5

Merged
michakraus merged 4 commits into
mainfrom
modernise-ci-and-tidy-repo
Aug 21, 2026
Merged

Modernise CI, split out the docs build, and make the per-step paths allocation-free#5
michakraus merged 4 commits into
mainfrom
modernise-ci-and-tidy-repo

Address the review of PR #5

4527bd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Julia min - ubuntu-latest - default
succeeded Aug 21, 2026 in 1m 24s