Skip to content

Update docs for plugins #1775

Update docs for plugins

Update docs for plugins #1775

Workflow file for this run

name: CI
on:
push:
branches:
- main
pull_request:
jobs:
plugin:
name: test_plugin
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: ./.github/actions/ci-shared-setup
- name: Install cargo-hack
uses: taiki-e/install-action@cargo-hack
- name: Compile plugin
run: cargo build -p javy-plugin --release --target=wasm32-wasip1
- name: Test
env:
CARGO_TARGET_WASM32_WASIP1_RUNNER: wasmtime --dir=.
run: cargo hack test --target=wasm32-wasip1 --workspace --exclude=javy-cli --exclude=javy-runner --each-feature -- --nocapture
- name: Test Runner
run: cargo test --package=javy-runner
- name: Lint
run: |
cargo clippy --workspace \
--exclude=javy-cli \
--exclude=javy-runner \
--exclude=javy-fuzz \
--target=wasm32-wasip1 --all-targets -- -D warnings
# We need to specify a different job for linting `javy-runner` given that
# it depends on Wasmtime and Cranelift cannot be compiled to `wasm32-wasip1`
- name: Lint Runner
run: cargo clippy --package=javy-runner -- -D warnings
- name: Upload plugin to artifacts
uses: actions/upload-artifact@v4
with:
name: plugin
path: target/wasm32-wasip1/release/plugin.wasm
cli:
name: test_cli
runs-on: ubuntu-latest
needs: plugin
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/ci-shared-setup
- uses: actions/download-artifact@v4
with:
name: plugin
path: target/wasm32-wasip1/release/
- name: Build test-plugin
run: |
cargo build --package=javy-test-plugin --release --target=wasm32-wasip1
CARGO_PROFILE_RELEASE_LTO=off cargo build --package=javy-cli --release
target/release/javy init-plugin target/wasm32-wasip1/release/test_plugin.wasm -o crates/runner/test_plugin.wasm
- name: Test CLI
run: CARGO_PROFILE_RELEASE_LTO=off cargo test --package=javy-cli --release -- --nocapture
- name: Check benchmarks
run: CARGO_PROFILE_RELEASE_LTO=off cargo check --package=javy-cli --release --benches
- name: Lint
run: |
cargo fmt -- --check
CARGO_PROFILE_RELEASE_LTO=off cargo clippy --package=javy-cli --release --all-targets -- -D warnings