Skip to content

GitHub Action to run make check#15

Merged
larsewi merged 1 commit into
masterfrom
check
Sep 26, 2025
Merged

GitHub Action to run make check#15
larsewi merged 1 commit into
masterfrom
check

Commits

Commits on Sep 26, 2025