From 49ae135e3f06315cffc3ebf36148c4f31f0451b2 Mon Sep 17 00:00:00 2001 From: Zero Date: Fri, 5 May 2023 21:54:17 -0600 Subject: [PATCH] do a build alongside clippy linting during CI --- .github/workflows/pr.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 314b086..8ba4c09 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -32,3 +32,6 @@ jobs: - name: Check clippy lints run: cargo clippy + + - name: Check build + run: cargo build --verbose