Skip to content

synchronize CI pipeline - #26

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

gregor-j merged 5 commits into
mainfrom
25-synchronize-ci-pipeline

update README.md and AGENTS.md to use Makefile

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