Browse Source

Remove duplicate vet flag.

Jeroen van Rijn 11 months ago
parent
commit
d602e2cc74
1 changed files with 1 additions and 1 deletions
  1. 1 1
      .github/workflows/ci.yml

+ 1 - 1
.github/workflows/ci.yml

@@ -251,7 +251,7 @@ jobs:
           make -C vendor/miniaudio/src
           make -C vendor/miniaudio/src
 
 
       - name: Odin check
       - 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
       - 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
         run: sudo apt-get install -y qemu-user qemu-user-static gcc-12-riscv64-linux-gnu libc6-riscv64-cross