Skip to content
Label PR from status change

chore: move usize theorem to Batteries.Data.UInt #611

Sign in to view logs

chore: move usize theorem to Batteries.Data.UInt

chore: move usize theorem to Batteries.Data.UInt #611

Triggered via pull request February 15, 2026 20:07
@fgdoraisfgdorais
closed #1673
Status Success
Total duration 15s
Artifacts –

labels-from-status.yml

on: pull_request_target
auto-label
12s
auto-label
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
auto-label
Error: failed to remove labels: WIP,awaiting-author
auto-label
failed to remove label: awaiting-author: HttpError: Label does not exist
auto-label
failed to remove label: WIP: HttpError: Label does not exist