Skip to content

Update GitHub Actions CI#28

Merged
lucaswerkmeister merged 1 commit intomasterfrom
ci
Jun 3, 2025
Merged

Update GitHub Actions CI#28
lucaswerkmeister merged 1 commit intomasterfrom
ci

Commits

Commits on Jun 3, 2025