Skip to content

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

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

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

ci: remove CircleCI config (migrated to GitHub Actions)

6adf36d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar