Skip to content

Merge branch 'cegid' of github.com:marrow/uri into cegid #7

Merge branch 'cegid' of github.com:marrow/uri into cegid

Merge branch 'cegid' of github.com:marrow/uri into cegid #7

Workflow file for this run

name: "Push Notification"
on: [push, pull_request, create]
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: irc push
uses: rectalogic/notify-irc@v1
if: github.event_name == 'push'
with:
server: "irc.libera.chat"
channel: "#marrow"
nickname: marrow
notice: true
message: |
${{ github.actor }} pushed ${{ github.event.ref }} ${{ github.event.compare }}
${{ join(github.event.commits.*.message) }}
- name: irc pull request
uses: rectalogic/notify-irc@v1
if: github.event_name == 'pull_request'
with:
server: "irc.libera.chat"
channel: "#marrow"
nickname: marrow
notice: true
message: |
${{ github.actor }} opened PR ${{ github.event.html_url }}
- name: irc tag created
uses: rectalogic/notify-irc@v1
if: github.event_name == 'create' && github.event.ref_type == 'tag'
with:
server: "irc.libera.chat"
channel: "#marrow"
nickname: marrow
notice: true
message: |
${{ github.actor }} tagged ${{ github.repository }} ${{ github.event.ref }}