Skip to content
CI

Use the official IEEE 754 rounding mode names #373

Sign in to view logs

Use the official IEEE 754 rounding mode names

Use the official IEEE 754 rounding mode names #373

Triggered via push May 7, 2024 08:51
@jessealamajessealama
pushed 5ead135
use-official-ieee-rounding-names
Status Failure
Total duration 28s
Artifacts –

push.yaml

on: push
build
18s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.