Skip to content

Commit 9628cd1

Browse files
authored
Merge pull request #5 from repo2wasm/pixi-select-version
Allow user to select Pixi version
2 parents 1f2d648 + 02929ed commit 9628cd1

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,7 @@ jobs:
3333
| `output` | `false` | `gh-pages` | The name of the output directory to use. |
3434
| `pages` | `false` | `true` | Enable publishing IDE to GitHub Actions. |
3535
| `python_version` | `false` | `3.13` | Version of Python to use. |
36+
| `pixi_version` | `false` | `v0.59.0` | Version of Pixi to use. |
3637

3738
### GitHub Pages
3839

action.yml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,14 +22,17 @@ inputs:
2222
python_version:
2323
description: Version of Python to use.
2424
default: "3.13"
25+
pixi_version:
26+
description: Version of Pixi to use.
27+
default: "v0.59.0"
2528
runs:
2629
using: "composite"
2730
steps:
2831
- uses: actions/checkout@v5
2932
- name: Install pixi
3033
uses: prefix-dev/setup-pixi@v0.9.2
3134
with:
32-
pixi-version: v0.59.0
35+
pixi-version: ${{ inputs.pixi_version }}
3336
cache: false
3437
run-install: false
3538
- name: Create Pixi environment

0 commit comments

Comments
 (0)