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

Sign in to view logs

Summary
Jobs
- build
- lint
- test
Run details
- Usage
- Workflow file

Workflow file for this run

.github/workflows/ci.yml at e160b4e

	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