Fix stochastic rounding in spec #1274

Triggered via pull request July 18, 2023 19:06

opened #710

Status Success

Total duration 1m 19s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
spec-prod-result Expired	1.01 MB