From 315dc1cb3ef1ef7bf641fd2a9b39d0a97252d98d Mon Sep 17 00:00:00 2001 From: Jan Nanista Date: Fri, 24 Jan 2025 09:19:03 -0800 Subject: [PATCH] chore: Migrate rvgo-lint to CircleCI --- .circleci/config.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.circleci/config.yml b/.circleci/config.yml index 996a52c..32f8ad4 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -32,6 +32,7 @@ workflows: - prestate-reproducibility: version: "1.3.1" asterisc-commit: "25feabf" + - rvgo-lint - rvgo-tests - rvsol-lint - rvsol-tests @@ -376,6 +377,16 @@ jobs: exit 1 fi + rvgo-lint: + executor: default + steps: + - checkout + - install-dependencies + - install-go-modules + - run: + name: Run lint + command: golangci-lint run + rvgo-tests: executor: default steps: