-
Notifications
You must be signed in to change notification settings - Fork 0
69 lines (65 loc) · 2.53 KB
/
Copy pathci.yml
File metadata and controls
69 lines (65 loc) · 2.53 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
name: Verify shared JavaScript runtime
on:
pull_request:
push:
branches: [main, master]
workflow_dispatch:
permissions:
contents: read
jobs:
source-contract:
name: Source, version, and documentation contracts
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v6
with: { persist-credentials: false }
- uses: actions/setup-node@v6
with: { node-version: "24", package-manager-cache: false }
- uses: dtolnay/rust-toolchain@1.95
with: { components: rustfmt }
- run: ./scripts/verify.sh
integrated-linux:
name: Native and browser-WASM integration
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v6
with: { persist-credentials: false }
- uses: actions/setup-node@v6
with: { node-version: "24", package-manager-cache: false }
- name: Checkout development family sources outside runtime Cargo scope
env:
GH_TOKEN: ${{ github.token }}
DEVELOPMENT_REF: ${{ github.head_ref || github.ref_name }}
run: >-
node scripts/checkout-family-sources.mjs
--development
--development-ref "$DEVELOPMENT_REF"
--parent "$GITHUB_WORKSPACE/.."
- uses: dtolnay/rust-toolchain@1.95
with: { targets: "wasm32-unknown-unknown,wasm32-wasip1" }
- uses: jetli/wasm-pack-action@v0.4.0
with: { version: v0.13.1 }
- name: Install the pinned WebAssembly optimizer
run: bash .github/setup-binaryen.sh
- name: Install build tool and local interop type package
run: >-
npm install --ignore-scripts --no-save node-gyp@13.0.1
"@vinary-tree/vinary-tree-interop@file:../vinary-tree-interop/bindings/javascript"
- name: Build and test integrated backends
env:
VINARY_TREE_INTEROP_ROOT: ${{ github.workspace }}/../vinary-tree-interop
VINARY_TREE_LLATTICE_ROOT: ${{ github.workspace }}/../llattice
VINARY_TREE_LIBDICTENSTEIN_ROOT: ${{ github.workspace }}/../libdictenstein
VINARY_TREE_LIBLEVENSHTEIN_ROOT: ${{ github.workspace }}/../liblevenshtein-rust
VINARY_TREE_LLING_LLANG_ROOT: ${{ github.workspace }}/../lling-llang
VINARY_TREE_DUALLITY_ROOT: ${{ github.workspace }}/../duallity
run: |
npm run configure:local
npm run bootstrap:native
npm run build:native:release
npm run test:native
npm run test:leak
npm run test:property
npm run build:wasm
npm run build:wasi
npm test