Skip to content

Add dev tools and CI - #1

Merged
dbernheisel merged 3 commits into
mainfrom
dbern/ci
Dec 2, 2025
Merged

dbernheisel merged 3 commits into
mainfrom
dbern/ci

add CI pipeline

30afbbe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar