Skip to content

Replace all labels with interned labels #7470

Replace all labels with interned labels

Replace all labels with interned labels #7470

Triggered via pull request July 28, 2023 11:25
Status Failure
Total duration 4m 20s
Artifacts

dependencies.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors
check-bans
Process completed with exit code 1.
check-bans
Process completed with exit code 2.