Code

migrate github actions to circleci#12928

Code

Merged

mslipper merged 7 commits intodevelopethereum-optimism/optimism:developfrom migrate-to-circleci-2ethereum-optimism/optimism:migrate-to-circleci-2Copy head branch name to clipboardNov 20, 2024

+59-123

Commits

Commits on Nov 14, 2024

• migrate close-stale github action

  raffaele-oplabs

  committed
  25af21b

  Copy full SHA for 25af21b

Commits on Nov 15, 2024

• using external script

  raffaele-oplabs

  committed
  657bf2b

  Copy full SHA for 657bf2b

• completing script

  raffaele-oplabs

  committed
  b0e81b5

  Copy full SHA for b0e81b5

• removing old github action

  raffaele-oplabs

  committed
  c8b45d7

  Copy full SHA for c8b45d7

• example only

  raffaele-oplabs

  committed
  5cd393a

  Copy full SHA for 5cd393a

• removing versions

  raffaele-oplabs

  committed
  dab0902

  Copy full SHA for dab0902

• removing tag-service

  raffaele-oplabs

  committed
  81e929a

  Copy full SHA for 81e929a