Skip to content
Code Formatting

Add rounding mode in FP theory (#83) #871

Sign in to view logs

Add rounding mode in FP theory (#83)

Add rounding mode in FP theory (#83) #871

Triggered via push January 12, 2026 18:59
@math-fehrmath-fehr
pushed e0fffe5
main
Status Success
Total duration 18s
Artifacts –

code-formatting.yml

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