Skip to content

chore(ui): release @leanspec/[email protected]

chore(ui): release @leanspec/[email protected] #37

name: "Copilot Setup Steps"
# Automatically run the setup steps when they are changed to allow for easy validation, and
# allow manual testing through the repository's "Actions" tab
on:
workflow_dispatch:
push:
paths:
- .github/workflows/copilot-setup-steps.yml
pull_request:
paths:
- .github/workflows/copilot-setup-steps.yml
jobs:
# The job MUST be called `copilot-setup-steps` or it will not be picked up by Copilot.
copilot-setup-steps:
runs-on: ubuntu-latest
# Set the permissions to the lowest permissions possible needed for your steps.
# Copilot will be given its own token for its operations.
permissions:
# Clone the repository to install dependencies
contents: read
steps:
- name: Checkout code
uses: actions/checkout@v5
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: "20"
- name: Set up pnpm
uses: pnpm/action-setup@v4
with:
version: "10.26.0"
run_install: false
- name: Install JavaScript dependencies
run: pnpm install --frozen-lockfile
- name: Set up Rust toolchain
uses: actions-rust-lang/setup-rust-toolchain@v1
- name: Install Linux system dependencies for Tauri
run: |
sudo apt-get update && sudo apt-get install -y \
libgtk-3-dev \
libayatana-appindicator3-dev \
libsoup-3.0-dev \
libjavascriptcoregtk-4.1-dev \
webkit2gtk-4.1-dev
- name: Build Rust binaries
working-directory: rust
run: cargo build --release
- name: Copy binaries to packages
run: node scripts/copy-rust-binaries.mjs
- name: Install lean-spec CLI globally
run: npm install -g .
working-directory: packages/cli
- name: Verify lean-spec installation
run: |
echo "lean-spec version:"
lean-spec --version
echo ""
echo "lean-spec is now available globally for Copilot coding agent to use"