Discord Notification on Push

ci: update docs contributors (#13031) #406

Sign in to view logs

Triggered via push January 12, 2026 13:42

ArmandPhilippot

main

Status Skipped

Total duration 1s

Artifacts –

discord-congrats.yml

on: push

congratsbot / post-message