Skip to content

ci: adopt central Tutorial PR Checks, remove CircleCI - #29

Merged
jung-thomas merged 3 commits into
mainfrom
ci/adopt-tutorial-pr-checks
Aug 25, 2026
Merged

ci: adopt central Tutorial PR Checks, remove CircleCI#29
jung-thomas merged 3 commits into
mainfrom
ci/adopt-tutorial-pr-checks

ci: remove CircleCI config (migrated to GitHub Actions)

b2d1aae
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar