Skip to content

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #4231

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #4231

Workflow file for this run

name: Test Generated Zig
on:
push:
pull_request:
merge_group:
schedule:
- cron: "0 0 1 * *"
jobs:
test-zig:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
steps:
- name: Install Zig
uses: goto-bus-stop/setup-zig@v2
with:
version: 0.13.0
- uses: actions/checkout@v4
- name: Test Zig files
run: (cd fiat-zig && zig build && zig build test)
- name: Test Zig field inversion example
run: (cp fiat-zig/src/p256_64.zig inversion/zig && cd inversion/zig && zig build test)