Skip to content
CodeQL

Fix some rounding issues due to double promotion #536

Sign in to view logs

Fix some rounding issues due to double promotion

Fix some rounding issues due to double promotion #536

Triggered via pull request November 24, 2023 15:42
@derselbstderselbst
opened #1286
issue1284
Status Success
Total duration 2m 51s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in