Repository navigation

Run CI on GitHub Actions - #4407

Draft

ferblape wants to merge 2 commits into

ferblape/circleci-to-github-actions

Commits on Sep 10, 2026
- ci: run the pipeline on GitHub Actions
  
  ferblape
  and
  claude
  committed
  0db5e20
- ci: set DEV_DIR and RETRY_FAILING_TEST for the GitHub Actions run
  
  ferblape
  and
  claude
  committed
  0ac0356