Notify Discord on PR Merge

Dynarray fixes #359

Sign in to view logs

Triggered via pull request April 16, 2026 00:18

willmmiles

closed #5502

Status Success

Total duration 7s

Artifacts –

pr-merge.yaml

on: pull_request_target