Kani Format Check

Add support for f16 and f128 in float_to_int_unchecked intrinsic #8796

Sign in to view logs

Triggered via pull request November 11, 2024 18:03

zhassan-aws

synchronize #3701

zhassan-aws:float-to-int-f16-f128

Status Success

Total duration 2m 25s

Artifacts –

format-check.yml

on: pull_request