fix(release): publish installable shared package manifests - #1

Merged

gchahal1982 merged 1 commit into

mainfrom

release/aura-ide-kit-0.2.1

Jul 14, 2026

gchahal1982 commented Jul 14, 2026

Contributor

Summary

publish Aura IDE Kit 0.2.1 with a registry-resolvable Proofline dependency
replace stale source-only release guidance for all three shared npm packages
refresh the workspace lockfile against the public Proofline 0.1.1 artifact

Verification

Aura IDE Kit typecheck
12 Aura IDE Kit tests
Aura IDE Kit production build
npm pack dry run
clean install verification follows after registry publication


          fix(release): publish installable shared package manifests

caa89ca

Signed-off-by: Audit <gchahal1982@procure-net.com>

gchahal1982 merged commit 9656b62 into main

4 checks passed

gchahal1982 deleted the release/aura-ide-kit-0.2.1 branch

July 14, 2026 07:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet