This repository was archived by the owner on Aug 11, 2026. It is now read-only.

Repository navigation

Re-apply CI fixes for GitHub-hosted runners - #20

Merged

nicosuave merged 7 commits into

mainfrom

nicosuave/fix-ci-runners

Mar 2, 2026

Merged

Re-apply CI fixes for GitHub-hosted runners#20
nicosuave merged 7 commits into
mainfrom
nicosuave/fix-ci-runners

Select a check to view from the sidebar