Skip to content

multiproof: we need at least an extra bit for the table halving trick #43

multiproof: we need at least an extra bit for the table halving trick

multiproof: we need at least an extra bit for the table halving trick #43

Workflow file for this run

name: Lint and test
on:
push:
branches: [ main ]
pull_request:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Build
run: zig build
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Lint
run: zig fmt --check src/*.zig
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Test
run: zig build test