Skip to content
post-merge

fix: avoid rounding in serializations #380

Sign in to view logs

fix: avoid rounding in serializations

fix: avoid rounding in serializations #380

Triggered via pull request July 14, 2024 11:28
@yair-starkwareyair-starkware
closed #415
yair/arbitrary_precision
Status Success
Total duration 1m 48s
Artifacts –

post-merge.yml

on: pull_request
if_merged
1m 38s
if_merged
Fit to window
Zoom out
Zoom in