From d602e2cc7405a7bb557d8e2225242d4fdbe400e9 Mon Sep 17 00:00:00 2001 From: Jeroen van Rijn Date: Wed, 28 Aug 2024 18:43:54 +0200 Subject: [PATCH] Remove duplicate vet flag. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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