HeckeCI

Replace hardcoded rounding modes with named for arb #1110

Sign in to view logs

Triggered via pull request February 7, 2025 21:30

opened #2022

jamesnohilly:jn/flint-constants

Status Success

Total duration 48m 39s

Artifacts –

hecke.yml

on: pull_request

Matrix: test-oscar