Merge pull request #143 from ethereum-optimism/jan/circleci--008

chore: Migrate rvsol-lint workflow to CircleCI [8/N]
ethereum-optimism · Jan 24, 2025 · 7a508e9 · 7a508e9
2 parents 6788c11 + 5eaa8cb
commit 7a508e9
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -33,6 +33,7 @@ workflows:
           version: "1.3.1"
           asterisc-commit: "25feabf"
       - rvgo-tests
+      - rvsol-lint
       - rvsol-tests
 
 commands:
@@ -399,6 +400,17 @@ jobs:
           name: Upload coverage to Codecov
           command: codecov-cli do-upload --token $CODECOV_TOKEN --verbose
 
+  rvsol-lint:
+    executor: default
+    steps:
+      - checkout
+      - install-dependencies
+      - install-go-modules
+      - run:
+          name: Run lint
+          command: make lint-check
+          working_directory: rvsol
+
   rvsol-tests:
     executor: default
     steps: