Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
43 changes: 42 additions & 1 deletion .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -175,10 +175,51 @@ jobs:
name: test-evidence
path: spar-*-test-evidence.tar.gz

# ── VS Code Extension ────────────────────────────────────────────────
build-vsix:
name: Build VS Code Extension
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: 20
- name: Install and compile extension
working-directory: vscode-spar
run: npm install && npm run compile
- name: Package VSIX
working-directory: vscode-spar
run: npx @vscode/vsce package --no-dependencies
- uses: actions/upload-artifact@v4
with:
name: vsix
path: vscode-spar/*.vsix

# ── Publish to VS Code Marketplace ──────────────────────────────────
publish-vsix:
name: Publish to Marketplace
needs: [build-vsix, create-release]
runs-on: ubuntu-latest
if: env.VSCE_PAT != ''
env:
VSCE_PAT: ${{ secrets.VSCE_PAT }}
steps:
- uses: actions/download-artifact@v4
with:
name: vsix
path: vsix
- uses: actions/setup-node@v4
with:
node-version: 20
- name: Publish to VS Code Marketplace
run: npx @vscode/vsce publish --packagePath vsix/*.vsix
env:
VSCE_PAT: ${{ secrets.VSCE_PAT }}

# ── Create GitHub Release ─────────────────────────────────────────────
create-release:
name: Create GitHub Release
needs: [build-binaries, build-compliance, build-test-evidence]
needs: [build-binaries, build-compliance, build-test-evidence, build-vsix]
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
Expand Down
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -8,3 +8,7 @@
proofs/.lake/
tests/playwright/node_modules/
tests/playwright/test-results/
dist/
architecture.yaml
requirements.yaml
verification.yaml
21 changes: 15 additions & 6 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions crates/spar-wasm/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@ spar-base-db.workspace = true
spar-hir-def.workspace = true
spar-hir.workspace = true
spar-analysis.workspace = true
spar-render.workspace = true
etch.workspace = true
serde.workspace = true
serde_json = "1"
petgraph = "0.6"
Expand Down
Loading
Loading