Auto merge of #115277 - RalfJung:is_1zst, r=davidtwco #294

Sign in to view logs

Triggered via push August 29, 2023 12:47

steffahn

master

Status Skipped

Total duration 7s

Artifacts –

ci.yml

on: push

Matrix: auto

Matrix: try

Matrix: pr

bors build finished

bors build finished

bors build finished

bors build finished