Switch from Travis CI to GitHub Actions

.github/webhook.sh

@@ -0,0 +1,13 @@
+#!/bin/sh
+set -e
+
+# Report unnamed symbols
+content="$(tools/unnamed.py -r . pokered.sym | head)"
+
+curl -H 'Content-Type: application/json' -X POST "$DISCORD_WEBHOOK_URL" -d@- << EOF
+{
+    "username": "OK",
+    "avatar_url": "https://i.imgur.com/38BQHdd.png",
+    "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`"
+}
+EOF

.github/workflows/main.yml

@@ -0,0 +1,45 @@
+name: CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@master
+
+      - name: Checkout rgbds
+        uses: actions/checkout@master
+        with:
+          path: rgbds
+          ref: v0.5.1
+          repository: gbdev/rgbds
+
+      - name: Install rgbds
+        working-directory: rgbds
+        run: |
+          sudo make install
+
+      - name: Remove rgbds
+        run: |
+          rm -rf rgbds
+
+      - name: Compare
+        run: |
+          make DEBUG=1 -j$(nproc) compare
+          if ! git diff-index --quiet HEAD --; then
+            echo 'Uncommitted changes detected:'
+            git diff-index HEAD --
+            return 1
+          fi
+
+      - name: Discord webhook
+        if: ${{ github.event_name == 'push' && github.repository_owner == 'pret' }}
+        env:
+          DISCORD_WEBHOOK_URL: ${{ secrets.DISCORD_WEBHOOK_URL }}
+        run: |
+          .github/webhook.sh

.travis.yml

@@ -1,32 +0,0 @@
-language: c
-os:
-  - linux
-  - osx
-install:
-  - |-
-    ( cd
-        if [ "$TRAVIS_OS_NAME" = osx ]; then
-          HOMEBREW_NO_AUTO_UPDATE=1 brew install bison
-          export PATH="/usr/local/opt/bison/bin:$PATH"
-        fi
-        git clone -b v0.5.1 --depth=1 https://github.com/gbdev/rgbds
-        sudo make -C rgbds install
-        rm -rf rgbds
-    )
-before_script:
-  - |-
-    function check_status() {
-      if ! git diff-index --quiet --ignore-submodules=all HEAD --; then
-        echo 'Uncommitted changes detected:';
-        git diff-index HEAD --;
-        return 1;
-      fi;
-    }
-script:
-  - make DEBUG=1 -j2 compare
-  - check_status
-after_success:
-  - |-
-    if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false -a "$TRAVIS_OS_NAME" = linux ]; then
-      ./.travis/webhook.sh
-    fi

.travis/webhook.sh

@@ -1,15 +0,0 @@
-#!/bin/sh
-set -e
-
-root="$(readlink -e "$(dirname "$0")/..")"
-
-# Report unnamed symbols
-content="$("$root/tools/unnamed.py" -r "$root" "$root/pokered.sym" | head)"
-
-curl -H 'Content-Type: application/json' -X POST "$POKERED_DISCORD_WEBHOOK_URL" -d@- << EOF
-{
-    "username": "$POKERED_DISCORD_WEBHOOK_USERNAME",
-    "avatar_url": "$POKERED_DISCORD_WEBHOOK_AVATAR_URL",
-    "content": "\`\`\`$(echo "$content" | sed -E ':a;N;$!ba;s/\r{0,1}\n/\\n/g')\`\`\`"
-}
-EOF

README.md

@@ -1,4 +1,4 @@
-# Pokémon Red and Blue [![Build Status][travis-badge]][travis]
+# Pokémon Red and Blue [![Build Status][ci-badge]][ci]
 
 This is a disassembly of Pokémon Red and Blue.
 
@@ -37,5 +37,5 @@ Other disassembly projects:
 [pokeemerald]: https://github.com/pret/pokeemerald
 [discord]: https://discord.gg/d5dubZ3
 [irc]: https://kiwiirc.com/client/irc.freenode.net/?#pret
-[travis]: https://travis-ci.org/pret/pokered
-[travis-badge]: https://travis-ci.org/pret/pokered.svg?branch=master
+[ci]: https://github.com/pret/pokered/actions
+[ci-badge]: https://github.com/pret/pokered/actions/workflows/main.yml/badge.svg