chore: Migrate rvsol-lint to CircleCI

ethereum-optimism · Jan 24, 2025 · 5eaa8cb · 5eaa8cb
1 parent 6788c11
commit 5eaa8cb
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: