Kani Format Check

Add support for float_to_int_unchecked #8675

Sign in to view logs

Triggered via pull request October 31, 2024 06:57

zhassan-aws

synchronize #3660

zhassan-aws:float-to-int-intrinsic

Status Success

Total duration 3m 53s

Artifacts –

format-check.yml

on: pull_request