aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJeroen van Rijn <Kelimion@users.noreply.github.com>2024-08-28 18:43:54 +0200
committerJeroen van Rijn <Kelimion@users.noreply.github.com>2024-08-28 18:43:54 +0200
commitd602e2cc7405a7bb557d8e2225242d4fdbe400e9 (patch)
treec1963c0307f717d667eef90a4e6a37f8b475d49c /.github/workflows
parent831e26cb6fd41fc79339a23a4f43c18df0cfa131 (diff)
Remove duplicate vet flag.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yml2
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