Skip to content
CI

mvpoly: rename expr in prime.rs + use name "Dense" instead of MVPoly #7947

Sign in to view logs

mvpoly: rename expr in prime.rs + use name "Dense" instead of MVPoly

mvpoly: rename expr in prime.rs + use name "Dense" instead of MVPoly #7947

Triggered via pull request August 22, 2024 17:34
@dannywillemsdannywillems
opened #2478
dw/mvpoly-rename-expr
Status Success
Total duration 26m 22s
Artifacts –

rust.yml

on: pull_request
run-checks-setup
0s
run-checks-setup
Matrix: Formatting
Matrix: Building MDBook
Matrix: Run some basic checks and tests
Fit to window
Zoom out
Zoom in