Skip to content
chore

chore: update discord redirect to holiday page! #4116

Sign in to view logs

chore: update discord redirect to holiday page!

chore: update discord redirect to holiday page! #4116

Triggered via pull request February 12, 2026 16:59
@danielroedanielroe
opened #1438
Status Success
Total duration 12s
Artifacts –

semantic-pull-requests.yml

on: pull_request_target
🏷️ Validate PR title
7s
🏷️ Validate PR title
Fit to window
Zoom out
Zoom in