diff options
| author | Thomas O'Donnell <andytom@users.noreply.github.com> | 2020-08-03 02:06:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-02 19:06:46 -0500 |
| commit | 7e1ff68b4deebb6af7711c393af61587763a1d59 (patch) | |
| tree | 14d2cfe64ffe5288450a9b42ca9bd413c596885f /.github | |
| parent | b845abe0065c12d2f2291cdfa02d04cc84f746fd (diff) | |
ci: Run clippy on all OSs (#1547)
Have updated the CI config to run clippy on all OSs. This will catch
any issues in OS specific codes. This might increase the amount of
annotations that are created in any of the common code but it should
be better than the alternative.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/workflow.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 5b7383b39..87daad63d 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -1,3 +1,4 @@ +--- name: Main workflow on: push: @@ -32,7 +33,10 @@ jobs: # Run the `clippy` linting tool clippy: name: Clippy [Linter] - runs-on: ubuntu-latest + strategy: + matrix: + os: [ubuntu-latest, macOS-latest, windows-latest] + runs-on: ${{ matrix.os }} steps: - name: Setup | Checkout uses: actions/checkout@v2 |