Skip to content

Add option RoundingMode to CorrectlyRound #1128

Add option RoundingMode to CorrectlyRound

Add option RoundingMode to CorrectlyRound #1128

Triggered via pull request June 8, 2024 12:20
@pleroypleroy
opened #4023
Status Cancelled
Total duration 7m 27s
Artifacts

build.yaml

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

Annotations

2 errors
build (Release)
The run was canceled by @pleroy.
build (Debug)
The run was canceled by @pleroy.