Update CI.

This commit is contained in:
Jeroen van Rijn
2022-04-26 14:56:28 +02:00
parent f1c1cfb6d2
commit 1c03e68057
+5 -4
View File
@@ -40,8 +40,8 @@ jobs:
timeout-minutes: 10 timeout-minutes: 10
- name: Odin issues tests - name: Odin issues tests
run: | run: |
cd tests/issues cd tests/issues
./run.sh ./run.sh
timeout-minutes: 10 timeout-minutes: 10
- name: Odin check examples/all for Linux i386 - name: Odin check examples/all for Linux i386
run: ./odin check examples/all -vet -strict-style -target:linux_i386 run: ./odin check examples/all -vet -strict-style -target:linux_i386
@@ -93,8 +93,9 @@ jobs:
make make
timeout-minutes: 10 timeout-minutes: 10
- name: Odin issues tests - name: Odin issues tests
cd tests/issues run: |
./run.sh cd tests/issues
./run.sh
timeout-minutes: 10 timeout-minutes: 10
- name: Odin check examples/all for Darwin arm64 - name: Odin check examples/all for Darwin arm64
run: ./odin check examples/all -vet -strict-style -target:darwin_arm64 run: ./odin check examples/all -vet -strict-style -target:darwin_arm64