Skip to content

Add rounding mode in FP theory #870

Add rounding mode in FP theory

Add rounding mode in FP theory #870

Triggered via pull request January 12, 2026 18:57
Status Success
Total duration 16s
Artifacts

code-formatting.yml

on: pull_request
Matrix: code-formatting
Fit to window
Zoom out
Zoom in