Skip to content

ci: migrate GitHub Actions workflows to ubuntu-slim#111

Merged
joschi merged 1 commit into
mainfrom
ubuntu-slim
Jul 19, 2026
Merged

ci: migrate GitHub Actions workflows to ubuntu-slim#111
joschi merged 1 commit into
mainfrom
ubuntu-slim

Commits

Commits on Jul 19, 2026