diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 00000000..21e929e6
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,66 @@
+name: build
+
+# Trigger the workflow on push or pull request
+on:
+  - pull_request
+  - push
+
+jobs:
+  cabal:
+    name: ${{ matrix.os }} / ghc ${{ matrix.ghc }} / cabal ${{ matrix.cabal }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-26.04]
+        cabal: ["2.4", "3.2", "3.4"]
+        ghc:
+          - "8.6.5"
+          - "8.8.4"
+          - "8.10.4"
+          - "9.0.1"
+
+    steps:
+
+    - uses: haskell-actions/setup@main
+      id: setup-haskell-cabal
+      name: Setup Haskell
+      continue-on-error: true
+      with:
+        ghc-version: ${{ matrix.ghc }}
+        cabal-version: ${{ matrix.cabal }}
+
+    - name: Prepare environment
+      run: |
+        echo "$HOME/.ghcup/bin" >> $GITHUB_PATH
+        echo "$HOME/.cabal/bin" >> $GITHUB_PATH
+        sed -i -e "s;-- \(secure.\) True;\1 False;g" $HOME/.cabal/config
+        cabal update
+
+    - uses: actions/checkout@v7
+
+    - name: Install dependencies
+      run: |
+        sudo apt-get install -y cppcheck z3
+
+    - name: Format check
+      run: |
+        # Fail if the any non-binary files contain trailing spaces.
+        if grep -nIHre ' \+$' * ; then exit 1; fi
+
+        # Fail if the code, Cabal files, documentation or CHANGELOGs contain tabs.
+        if grep -rP '\t' --include='*.hs' --include='*.cabal' --include='*.md' --include='CHANGELOG' . ; then exit 1; fi
+
+    - name: Install copilot
+      run: |
+        cabal v2-install --lib copilot/ copilot-core/ copilot-c99/ copilot-language/ copilot-libraries/ copilot-theorem/ copilot-interpreter/ copilot-prettyprinter/
+
+    - name: Test packages
+      if: matrix.ghc == '8.10.4'
+      run: |
+        cabal v2-test -j1 copilot-core/ copilot-language/ copilot-interpreter/ copilot-c99/ copilot-theorem/ copilot-libraries/
+
+    - name: Check cpp
+      if: matrix.ghc == '8.10.4'
+      run: |
+        export GHC_ENVIRONMENT=~/.ghc/x86_64-linux-8.10.4/environments/default
+        runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 6cf02316..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,58 +0,0 @@
-# dist should be at least focal because we need cppcheck >= 1.88.
-dist: focal
-
-# NB: don't set `language: haskell` here
-
-# The following enables several GHC versions to be tested; often it's enough to
-# test only against the last release in a major GHC version. Feel free to omit
-# lines listings versions you don't need/want testing for.
-env:
-  - CABALVER=2.4 GHCVER=8.6.5
-  - CABALVER=3.2 GHCVER=8.8.4
-  - CABALVER=3.2 GHCVER=8.10.4
-  - CABALVER=3.4 GHCVER=9.0.1
-# - CABALVER=head GHCVER=head   # see section about GHC HEAD snapshots
-
-# Note: the distinction between `before_install` and `install` is not important.
-before_install:
-  - travis_retry sudo add-apt-repository -y ppa:hvr/ghc
-  - travis_retry sudo apt-get update
-  - travis_retry sudo apt-get install cabal-install-$CABALVER ghc-$GHCVER # see note about happy/alex
-
-  # We install z3 and cppcheck only for the tests, since they are not needed
-  # for normal compilation.
-  - if [ "${GHCVER}" == "8.10.4" ]; then travis_retry sudo apt-get install --yes z3 cppcheck; fi
-
-  - export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH
-  - cabal --version
-  - echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
-  - cabal user-config init
-  - sed -i -e "s;-- \(secure.\) True;\1 False;g" ${HOME}/.cabal/config
-  - travis_retry cabal update
-  - git submodule update --remote
-
-script:
-  # Fail if the any non-binary files contain trailing spaces.
-  - if grep -nIHre ' \+$' * ; then exit 1; fi
-
-  # Fail if the code, Cabal files, documentation or CHANGELOGs contain tabs.
-  - if grep -rP '\t' --include='*.hs' --include='*.cabal' --include='*.md' --include='CHANGELOG' . ; then exit 1; fi
-
-  # We explicitly install all libraries so that they are exposed and we can use
-  # them for tests (e.g., with runhaskell). There is no harm in doing this
-  # instead of installing just copilot.
-  - travis_wait 30 cabal v2-install --lib copilot copilot-core copilot-c99 copilot-language copilot-libraries copilot-theorem copilot-interpreter copilot-prettyprinter
-
-  # Run tests only on GHC 8.10.4
-  #
-  # Only libraries with tests are listed below or the v2-test command fails.
-  #
-  # Testing copilot-theorem and copilot-libraries requires z3. See above
-  # conditional installation, and keep GHC version numbers in both places in
-  # sync.
-  - if [ "${GHCVER}" == "8.10.4" ]; then cabal v2-test -j1 copilot-core copilot-language copilot-interpreter copilot-c99 copilot-theorem copilot-libraries; fi
-
-  # Check that the code produced by Copilot complies with MISRA C 2012. We
-  # explicitly make cppcheck produce a non-zero exit code on non-compliance
-  # with the standard to make the CI build fail.
-  - if [ "${GHCVER}" == "8.10.4" ]; then runhaskell copilot/examples/Heater.hs; cppcheck --force --addon=misra.py --suppress=misra-c2012-14.4 --error-exitcode=2 heater.c; fi
diff --git a/copilot/CHANGELOG b/copilot/CHANGELOG
index 4758ed15..c350ec33 100644
--- a/copilot/CHANGELOG
+++ b/copilot/CHANGELOG
@@ -1,7 +1,8 @@
-2026-10-15
+2026-11-07
         * Adjust Travis CI script to flag presence of tabs as an error. (#774)
         * Adjust Travis CI script to flag trailing space as an error. (#777)
         * Update README to correct typos and improve readability. (#779)
+        * Replace Travis CI with Github Actions. (#790)
 
 2026-09-07
         * Version bump (4.8.1). (#760)
diff --git a/copilot/README.md b/copilot/README.md
index 536665d8..63a2459e 100644
--- a/copilot/README.md
+++ b/copilot/README.md
@@ -2,7 +2,7 @@
 
 # Copilot
 
-[![Build Status](https://api.travis-ci.com/Copilot-Language/copilot.svg?branch=master)](https://app.travis-ci.com/github/Copilot-Language/copilot)
+[![Build Status](https://github.com/Copilot-Language/copilot/actions/workflows/build.yml/badge.svg?branch=master)](https://github.com/Copilot-Language/copilot/actions/workflows/build.yml)
 [![Version on Hackage](https://img.shields.io/hackage/v/copilot.svg)](https://hackage.haskell.org/package/copilot)
 
 Copilot is a runtime verification framework for hard real-time systems.