Notify on Push

doc: add web-team IRP (#42) #15

Sign in to view logs

Triggered via push September 24, 2025 20:27

github-merge-queue[bot]

main

Status Skipped

Total duration 1s

Artifacts –

notify-on-push.yml

on: push

Notify on any direct push to `main`