Skip to content
Sync: Labels

Sync labels after push to main #185

Sign in to view logs

Sync labels after push to main

Sync labels after push to main #185

Triggered via push April 7, 2026 17:36
@MarkusNeusingerMarkusNeusinger
pushed 1c91dd4
main
Status Success
Total duration 12s
Artifacts –

sync-labels.yml

on: push
sync-spec-labels
7s
sync-spec-labels
sync-impl-labels
7s
sync-impl-labels
Fit to window
Zoom out
Zoom in

Annotations

2 notices
sync-impl-labels
No implementation changes detected
sync-spec-labels
No specification changes detected