Skip to content

Commit

Permalink
Use uv instead of flit in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
sampsyo committed Jan 30, 2025
1 parent cc5c926 commit 81dc87f
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 25 deletions.
21 changes: 7 additions & 14 deletions .github/workflows/build.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -30,20 +30,13 @@ jobs:
- name: Install all TypeScript tools
run: deno install brili.ts ; deno install brilck.ts ; deno install --allow-env --allow-read ts2bril.ts

- name: Install Flit
run: pip install flit
- name: Install uv
uses: astral-sh/setup-uv@v5
- name: Install Python tools
run: cd bril-txt ; flit install --symlink
run: cd bril-txt ; uv tool install .

- name: Install Turnt
# run: pip install turnt # Use instead if pip turnt version >= 1.7
uses: actions/checkout@v4
with:
repository: cucapra/turnt
path: './turnt'
- name: Install Turnt part 2
run: cd turnt ; flit install --symlink

run: uv tool install turnt

- name: Problem matcher
run: echo '::add-matcher::.github/tap-matcher.json'
Expand All @@ -68,10 +61,10 @@ jobs:
- name: Install brilck
run: deno install brilck.ts

- name: Install Flit
run: pip install flit
- name: Install uv
uses: astral-sh/setup-uv@v5
- name: Install Python tools
run: cd bril-txt ; flit install --symlink
run: cd bril-txt ; uv tool install .

- name: Problem matcher
run: echo '::add-matcher::.github/brilck-matcher.json'
Expand Down
15 changes: 4 additions & 11 deletions .github/workflows/rust.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -69,20 +69,13 @@ jobs:
cache: pip
cache-dependency-path: bril-txt/pyproject.toml

- name: Install Flit
run: pip install flit
- name: Install uv
uses: astral-sh/setup-uv@v5
- name: Install Python tools
run: cd bril-txt ; flit install --symlink
run: cd bril-txt ; uv tool install .

- name: Install Turnt
# run: pip install turnt # Use instead if pip turnt version >= 1.7
uses: actions/checkout@v4
with:
repository: cucapra/turnt
path: './turnt'
- name: Install Turnt part 2
run: flit install --symlink
working-directory: ./turnt
run: uv tool install turnt

- name: Problem matcher
run: echo '::add-matcher::.github/tap-matcher.json'
Expand Down

0 comments on commit 81dc87f

Please sign in to comment.