Skip to content
Dependabot Automerge

Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v #90

Sign in to view logs

Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v

Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v #90

Triggered via pull request June 4, 2024 19:00
@ppedrotppedrot
opened #1919
ppedrot:fast-barrett-reduction
Status Success
Total duration 13s
Artifacts –

dependabot-automerge.yml

on: pull_request
dependabot-automerge
0s
dependabot-automerge
Fit to window
Zoom out
Zoom in