Repository navigation

CircleCI migration leftovers - #9088

Merged

bric3 merged 6 commits into

bdu/circle-ci-migration-leftovers

Jul 7, 2025

Merged

CircleCI migration leftovers#9088
bric3 merged 6 commits into
masterfrom
bdu/circle-ci-migration-leftovers

Commits on Jul 7, 2025
- chore(build): move ci scripts to .gitlab
  bric3
  committed
  bfd9950
- chore(build): no need to ignore circle ci files anymore
  bric3
  committed
  f19977b
- chore(build): make .gitlab files global effect
  bric3
  committed
  5e59831
- chore(build): Not possible to choose system tests commit anymore with gitlab
  bric3
  committed
  52e2035
- chore(ci): Typo and PR suggestions
  bric3
  committed
  31d8613
- chore(ci): spotless
  
  sarahchen6
  authored and
  bric3
  committed
  bb77a1e