miri: improve support for `f16` and `f128` #9153

Sign in to view logs

Triggered via pull request October 17, 2024 10:38

eduardosm

opened #3977

eduardosm:f16-f128

Status Success

Total duration 24m 6s

Artifacts –

ci.yml

on: pull_request

Matrix: build

bors build finished

bors build finished

cronjob failure notification