diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-08-28 18:43:54 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2024-08-28 18:43:54 +0200 |
| commit | d602e2cc7405a7bb557d8e2225242d4fdbe400e9 (patch) | |
| tree | c1963c0307f717d667eef90a4e6a37f8b475d49c /.github | |
| parent | 831e26cb6fd41fc79339a23a4f43c18df0cfa131 (diff) | |
Remove duplicate vet flag.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5afe33668..e547959aa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -251,7 +251,7 @@ jobs: make -C vendor/miniaudio/src - name: Odin check - run: ./odin check examples/all -target:linux_riscv64 -vet -strict-style -vet -strict-style -disallow-do + run: ./odin check examples/all -target:linux_riscv64 -vet -strict-style -disallow-do - name: Install riscv64 toolchain and qemu run: sudo apt-get install -y qemu-user qemu-user-static gcc-12-riscv64-linux-gnu libc6-riscv64-cross |