Push Notification

Get -DNO_SHORT_NAMES to work again #3178

Sign in to view logs

Summary
Jobs
- notify-irc
Run details
- Usage
- Workflow file

Triggered via push October 15, 2025 00:44

longnames

Status Skipped

Total duration 1s

Artifacts –

irc-notifications.yaml

on: push