CI

Auto merge of #3535 - RalfJung:host-float, r=RalfJung #7264

Sign in to view logs

Triggered via push May 2, 2024 17:16

bors

auto

Status Success

Total duration 29m 42s

Artifacts –

ci.yml

on: push

Matrix: build

bors build finished

bors build finished

cronjob failure notification