Skip to content
Auto label PRs

Add builtin for performing checked conversion between integer types. #324

Sign in to view logs

Add builtin for performing checked conversion between integer types.

Add builtin for performing checked conversion between integer types. #324

Triggered via pull request November 13, 2024 22:37
@zygoloidzygoloid
opened #4523
Status Success
Total duration 18s
Artifacts –

auto_label_prs.yaml

on: pull_request_target
assign_reviewer
9s
assign_reviewer
Fit to window
Zoom out
Zoom in