Skip to content

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

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

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

Commits

Commits on Aug 25, 2026