Skip to content
CI - Pyright

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 32s
Artifacts –

ci-pyright.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in