Skip to content

Bump rewriter from edd0611 to 8ab716a #4306

Bump rewriter from edd0611 to 8ab716a

Bump rewriter from edd0611 to 8ab716a #4306

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)