Deduplicates info in github ci script.

wch-ch32v003
Felix "xq" Queißner 8 months ago
parent e5b00e1d93
commit 91fcc6b470

@ -1,5 +1,9 @@
name: Continuous Integration name: Continuous Integration
env:
# Specify the current Zig version MicroZig uses:
ZIG_VERSION: 0.11.0
on: on:
push: push:
branches: [main] branches: [main]
@ -17,15 +21,15 @@ jobs:
- name: Fetch more data from git - name: Fetch more data from git
run: | run: |
# fetch everything back till the 0.11.0 tag. # fetch everything back till the $(ZIG_VERSION) tag.
# https://stackoverflow.com/a/58082274 # https://stackoverflow.com/a/58082274
git fetch --shallow-exclude 0.11.0 git fetch --shallow-exclude ${{ env.ZIG_VERSION }}
git fetch --deepen=2 git fetch --deepen=2
- name: Setup Zig - name: Setup Zig
uses: goto-bus-stop/setup-zig@v2 uses: goto-bus-stop/setup-zig@v2
with: with:
version: 0.11.0 version: ${{ env.ZIG_VERSION }}
- name: Install PIP packages - name: Install PIP packages
run: | run: |

Loading…
Cancel
Save