Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
b46d27f
Expose package dependencies from Spago lockfiles
purefunctor Sep 12, 2026
22481e8
Add Ratatui package progress renderer
purefunctor Sep 12, 2026
3dada42
Schedule project builds by package dependencies
purefunctor Sep 12, 2026
fc7d01d
Allow project builds to suppress diagnostics
purefunctor Sep 12, 2026
d54515c
Add reusable package progress reporting
purefunctor Sep 12, 2026
1b93b1b
Add experimental package-aware build command
purefunctor Sep 12, 2026
390580c
Test the experimental package-aware build command
purefunctor Sep 12, 2026
8b2d1b0
Split experimental CLI into subsystem crates
purefunctor Sep 12, 2026
fb6a42f
Add LSP support to iris-v2
purefunctor Sep 12, 2026
f161e2b
Run LSP scenarios against iris-v2
purefunctor Sep 12, 2026
010774e
Add package management to iris-v2
purefunctor Sep 12, 2026
e087e66
Run package management scenarios against iris-v2
purefunctor Sep 12, 2026
7d10f9a
Normalize iris-v2 crate names
purefunctor Sep 12, 2026
80c20c4
Add persistent build sessions
purefunctor Sep 12, 2026
cfab94a
Add reusable watch progress summaries
purefunctor Sep 12, 2026
60f696a
Add watch mode to iris-v2
purefunctor Sep 12, 2026
a235919
Test iris-v2 watch mode
purefunctor Sep 12, 2026
071e250
Promote the rearchitected Iris CLI
purefunctor Sep 12, 2026
e23b87a
Normalize Windows workspace paths
purefunctor Sep 13, 2026
5290f41
Normalize diagnostic path separators
purefunctor Sep 13, 2026
e09a070
Add run and test commands
purefunctor Sep 13, 2026
463f54b
Materialize Prim compilation sources
purefunctor Sep 13, 2026
0944339
Expose package-scheduled initialization
purefunctor Sep 13, 2026
64d69fd
Bootstrap watch through package scheduling
purefunctor Sep 13, 2026
b389277
Bootstrap LSP through package scheduling
purefunctor Sep 13, 2026
1144c6f
Preserve compact package names through builds
purefunctor Sep 13, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions .agents/skills/cutting-releases/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,25 +42,25 @@ Both commands should report that the target does not exist. Stop if either exist

Create a release branch from current `main`. Update both version sources:

- `compiler-bin/Cargo.toml`: package `version`
- `Cargo.lock`: the `purescript-iris` package `version`
- `compiler-bin/iris-cli/Cargo.toml`: package `version`
- `Cargo.lock`: the `iris-cli` package `version`

Do not change the internal compiler crates, which remain independently versioned.

Verify the focused package and the user-visible version:

```bash
cargo check -p purescript-iris --tests --locked
cargo run -p purescript-iris --locked \
cargo check -p iris-cli --tests --locked
cargo run -p iris-cli --locked \
--bin iris -- --version
git diff --check
git diff -- compiler-bin/Cargo.toml Cargo.lock
git diff -- compiler-bin/iris-cli/Cargo.toml Cargo.lock
```

The CLI must print `iris $version`. Commit only the manifest and lockfile:

```bash
git add compiler-bin/Cargo.toml Cargo.lock
git add compiler-bin/iris-cli/Cargo.toml Cargo.lock
git commit -m "Prepare $version release"
```

Expand Down Expand Up @@ -94,7 +94,7 @@ Do not tag the release-branch commit. Read the merge commit OID from the merged

- It has two parents.
- It is the current `origin/main`.
- `compiler-bin/Cargo.toml` and `Cargo.lock` contain the requested version at that commit.
- `compiler-bin/iris-cli/Cargo.toml` and `Cargo.lock` contain the requested version at that commit.
- The remote release tag is still absent.

After tag-push approval, create the lightweight tag on that exact merge commit and push only the tag:
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/canary.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ jobs:
COMMIT_SHA: ${{ github.event.workflow_run.head_sha }}
run: |
package_version=$(cargo metadata --format-version 1 --no-deps |
jq -r '.packages[] | select(.name == "purescript-iris") | .version')
jq -r '.packages[] | select(.name == "iris-cli") | .version')
if [[ ! "$package_version" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
echo "Package version must be a stable semantic version, found $package_version." >&2
exit 1
Expand Down Expand Up @@ -138,7 +138,7 @@ jobs:
IRIS_BUILD_REVISION: ${{ needs.prepare.outputs.revision }}
with:
bin: iris
package: purescript-iris
package: iris-cli
archive: iris-$target
include: README.md,LICENSE,ACKNOWLEDGEMENTS.md,THIRDPARTY.toml
leading-dir: true
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ jobs:
uses: taiki-e/upload-rust-binary-action@v1
with:
bin: iris
package: purescript-iris
package: iris-cli
archive: iris-$target
include: README.md,LICENSE,ACKNOWLEDGEMENTS.md,THIRDPARTY.toml
leading-dir: true
Expand Down
Loading
Loading