default to magnitude 8->1 in Dettman multiplication · mit-plv/fiat-crypto@eeacbbd

Triggered via pull request July 31, 2023 21:06

opened #1630

Status Success

Total duration 4h 58m 30s

Artifacts 1

coq-windows.yml

on: pull_request

Produced during runtime

Name	Size
ExtractionOCaml Expired	1.88 GB