Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2025-08-07 | fixed the irc.yml workflow: have to export the $GH_TOKEN | Robin Haberkorn | 1 | -0/+2 |
2025-08-06 | irc.yml: retrieve the commit hash of the *previous* successful CI run | Robin Haberkorn | 1 | -9/+3 |
2025-08-06 | IRC workflow: removed excess ` and " | Robin Haberkorn | 1 | -5/+10 |
2025-08-06 | IRC workflow: use rectalogic/notify-irc | Robin Haberkorn | 1 | -8/+13 |
2025-03-01 | CI: the IRC posting is now in a separate workflow and runs only after success... | Robin Haberkorn | 1 | -0/+33 |