diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..22151ea
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,35 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Install LaTeX
+      run: |
+        sudo apt-get -qq update
+        sudo apt-get install -y --no-install-recommends texlive-fonts-recommended \
+          texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended
+    - name: Build metamath-narrow.pdf
+      run: ./make-narrow
+    - name: Build metamath.pdf
+      run: ./generate-pdf
+    - name: Build metamath-de.pdf
+      run: ./generate-pdf normal de
+    - uses: actions/upload-artifact@v3
+      with:
+        name: metamath-pdf
+        path: |
+          metamath.pdf
+          metamath-narrow.pdf
+          metamath-de.pdf
+    - name: Release
+      uses: softprops/action-gh-release@v1
+      if: github.event_name == 'push' && github.ref == 'refs/heads/master'
+      with:
+        files: |
+          metamath.pdf
+          metamath-narrow.pdf
+          metamath-de.pdf
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 8403691..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-# Install LaTeX dependencies and try to generate PDF from .tex source.
-# See:
-# https://github.com/harshjv/travis-ci-latex-pdf/blob/master/.travis.yml
-
-sudo: required
-dist: trusty
-before_install:
-- sudo apt-get -qq update && sudo apt-get install -y --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended
-script:
-# Make the narrow and normal width PDFs, fail if either fail to generate.
-# We need to make the narrow one first, because it overwrites metamath.pdf.
-- ./make-narrow
-- ./generate-pdf
-# deploy:
-#   provider: releases
-#   api_key:
-#     secure: [YOUR KEY]
-#   file:
-#   - _build/your_file_1.pdf
-#   - _build/your_file_2.pdf
-#   skip_cleanup: true
-#   on:
-tags: true