From 5eaa8cb607d8cea462e9a874aaeb76b2fb2a8867 Mon Sep 17 00:00:00 2001
From: Jan Nanista <jan.jakub.nanista@gmail.com>
Date: Fri, 24 Jan 2025 09:06:32 -0800
Subject: [PATCH] chore: Migrate rvsol-lint to CircleCI

---
 .circleci/config.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index cc2541b4..996a52cf 100644
--- 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: