Skip to content

Synchronize CI pipeline - #32

Merged
gregor-j merged 5 commits into
mainfrom
31-synchronize-ci-pipeline
Sep 1, 2026
Merged

Synchronize CI pipeline#32
gregor-j merged 5 commits into
mainfrom
31-synchronize-ci-pipeline

update README.md and AGENTS.md to use the Makefile

16a46ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view