default to magnitude 8->1 in Dettman multiplication #4255

Triggered via pull request July 31, 2023 21:06

opened #1630

Status Success

Total duration 1m 14s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	503 KB