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

joschi merged 1 commit into
mainfrom
ubuntu-slim

Commits

  1. Commits on Jul 19, 2026