Discord notifications

Add metrics for recording HTTP requests performed by procedures. #1230

Sign in to view logs

Triggered via pull request November 25, 2025 18:24

gefjon

closed #3745

phoebe/procedure/http-metrics

Status Success

Total duration 27s

Artifacts –

discord-posts.yml

on: pull_request

discordNotification