[ci] Move verible checks to slow-lint Signed-off-by: Miles Dai <milesdai@google.com>
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 247cb1d..988101b 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml
@@ -85,15 +85,6 @@ - bash: ci/scripts/whitespace.sh $SYSTEM_PULLREQUEST_TARGETBRANCH condition: eq(variables['Build.Reason'], 'PullRequest') displayName: Check trailing whitespace - - bash: ci/scripts/verible-lint.sh rtl - condition: eq(variables['Build.Reason'], 'PullRequest') - displayName: Style-Lint RTL Verilog source files with Verible - - bash: ci/scripts/verible-lint.sh dv - condition: eq(variables['Build.Reason'], 'PullRequest') - displayName: Style-Lint DV Verilog source files with Verible - - bash: ci/scripts/verible-lint.sh fpv - condition: eq(variables['Build.Reason'], 'PullRequest') - displayName: Style-Lint FPV Verilog source files with Verible - bash: ci/scripts/build-docs.sh displayName: Render documentation - bash: ci/scripts/build-site.sh @@ -113,6 +104,15 @@ displayName: Use buildifier to check Bazel coding style - bash: ci/scripts/check-vendoring.sh displayName: Check vendored directories are up-to-date + - bash: ci/scripts/verible-lint.sh rtl + condition: eq(variables['Build.Reason'], 'PullRequest') + displayName: Style-Lint RTL Verilog source files with Verible + - bash: ci/scripts/verible-lint.sh dv + condition: eq(variables['Build.Reason'], 'PullRequest') + displayName: Style-Lint DV Verilog source files with Verible + - bash: ci/scripts/verible-lint.sh fpv + condition: eq(variables['Build.Reason'], 'PullRequest') + displayName: Style-Lint FPV Verilog source files with Verible - job: sw_build displayName: Build Software for Earl Grey toplevel design
diff --git a/ci/jobs/quick-lint.sh b/ci/jobs/quick-lint.sh index b32f00e..d48ba11 100755 --- a/ci/jobs/quick-lint.sh +++ b/ci/jobs/quick-lint.sh
@@ -61,12 +61,6 @@ echo -e "\n### Use rustfmt to check Rust coding style" ci/scripts/rust-format.sh $tgt_branch -echo -e "\n### Style-Lint RTL Verilog source files with Verible" -ci/scripts/verible-lint.sh rtl - -echo -e "\n### Style-Lint DV Verilog source files with Verible" -ci/scripts/verible-lint.sh dv - echo -e "\n### Render documentation" ci/scripts/build-docs.sh
diff --git a/ci/jobs/slow-lint.sh b/ci/jobs/slow-lint.sh index 668b9c6..c5ff179 100755 --- a/ci/jobs/slow-lint.sh +++ b/ci/jobs/slow-lint.sh
@@ -16,3 +16,12 @@ echo "### Check vendored directories are up-to-date" ci/scripts/check-vendoring.sh + +echo -e "\n### Style-Lint RTL Verilog source files with Verible" +ci/scripts/verible-lint.sh rtl + +echo -e "\n### Style-Lint DV Verilog source files with Verible" +ci/scripts/verible-lint.sh dv + +echo -e "\n### Style-Lint FPV Verilog source files with Verible" +ci/scripts/verible-lint.sh fpv