diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-01 14:37:52 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2025-03-01 14:37:52 +0300 |
| commit | 649ee6d81f652f907f4bd5b0649775720b352b6d (patch) | |
| tree | 8c69ff98388f9377cf153f90db6d982bcd52cfa8 /.github/workflows/ci.yml | |
| parent | a072c08365b1759d63edf74b9c97b618c383ee48 (diff) | |
| download | sciteco-649ee6d81f652f907f4bd5b0649775720b352b6d.tar.gz | |
CI: the IRC posting is now in a separate workflow and runs only after successful ci.yml runs
* people are not spammed with commits, that may cause problems when they try to pull them and rebuild
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4db29d2..d42585a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,23 +3,6 @@ name: Continuous Integration on: [push, pull_request] jobs: - # Only for posting into the IRC channel. - # FIXME: Perhaps we should do this only after all of CI is successful and - # include all commits since the last successful CI run? - irc: - runs-on: ubuntu-latest - steps: - - name: Git Clone - uses: actions/checkout@v4.1.6 - - name: Post into IRC channel - if: ${{ github.event_name == 'push' }} - run: | - (echo "NICK git-bot" - echo "USER git-bot 8 * : git-bot" - echo "JOIN #sciteco" - git log --pretty="format:PRIVMSG #sciteco %h %s" --reverse ${{ github.event.before }}..${{ github.event.after }} - echo "QUIT") | ncat --ssl irc.libera.chat 6697 - ubuntu: strategy: matrix: |