Skip to content

chore: Update p3 #74

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
samuelburnham wants to merge 6 commits into
base: main
Choose a base branch
from
Open

chore: Update p3 #74

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
4334b88
logup: width-bound fingerprints, height bound, verifier hardening
samuelburnham Aug 22, 2026
97091f5
Bump Rust toolchain to 1.98
samuelburnham Aug 22, 2026
ac4717d
ci: deny warnings via CARGO_BUILD_WARNINGS
samuelburnham Aug 22, 2026
b6c7d45
Bump Plonky3 pin to 3c84c15 (v0.6.0, 2026-08-21)
samuelburnham Aug 22, 2026
676120f
logup: width binding as a declared system policy
samuelburnham Aug 24, 2026
249b740
advice: per-query re-encoding of the FRI opening transport
samuelburnham Aug 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,12 @@ concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true

# Fail every cargo invocation on warnings from workspace-local packages
# (cargo's build.warnings, stable since 1.97). CI-only: local builds
# still just warn.
env:
CARGO_BUILD_WARNINGS: deny

jobs:
linux-test:
# Change to warp-ubuntu-latest-x64-16x for a more powerful runner (GitHub App must be enabled for this repo)
Expand Down Expand Up @@ -42,7 +48,7 @@ jobs:
- name: Check *everything* compiles
run: cargo check --all-targets --all-features --workspace
- name: Check clippy lints
run: cargo clippy --workspace --all-targets --all-features -- -D warnings
run: cargo clippy --workspace --all-targets --all-features
- name: Doctests
run: cargo test --doc --workspace
- name: Get Rust version
Expand Down
Loading