Skip to content

ci: workflow results → Discord - #1

Merged
edgar-durand merged 1 commit into
mainfrom
ci/discord-workflow-results
Aug 20, 2026
Merged

ci: workflow results → Discord#1
edgar-durand merged 1 commit into
mainfrom
ci/discord-workflow-results

ci: workflow results reported to Discord #ci_notifications

0dcec31
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar