Skip to content

maint: remove references to archived repos #1669

maint: remove references to archived repos

maint: remove references to archived repos #1669

Triggered via pull request August 15, 2025 22:02
@codebotencodeboten
synchronize #1010
Status Success
Total duration 8s
Artifacts

apply-labels.yml

on: pull_request_target
Apply common project labels
5s
Apply common project labels
Fit to window
Zoom out
Zoom in