From 272fe5a17dd3a705bd1af8e3ead170904a6c5a24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Janis=20Voigtl=C3=A4nder?=
 <jvoigtlaender@users.noreply.github.com>
Date: Fri, 17 Apr 2026 16:23:45 +0200
Subject: [PATCH] remove Travis workflow file and badge

---
 .travis.yml | 520 ----------------------------------------------------
 README.md   |   7 +-
 2 files changed, 2 insertions(+), 525 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 9840e8fe..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,520 +0,0 @@
-# https://docs.haskellstack.org/en/stable/travis_ci/
-
-sudo: enabled
-dist: bionic
-language: generic
-cache:
-  timeout: 2000
-  directories:
-  - $HOME/.cabal
-  - $HOME/.local/bin
-  - $HOME/.stack
-  - $TRAVIS_BUILD_DIR/.stack-work
-
-addons:
-  apt:
-    update: false
-
-jobs:
-  include:
-    - stage: clean_stack
-      name: "Clean Stack"
-      name: "root"
-      env:
-        - PACKAGE="."
-        - JOB=1
-      script: &clean_stack
-        - rm -f $HOME/.stack/pantry/pantry.sqlite3
-    - stage: clean_stack
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: *clean_stack
-    - stage: clean_stack
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Compiler"
-      env:
-        - PACKAGE="codeworld-compiler"
-        - JOB=6
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *clean_stack
-    - stage: clean_stack
-      name: "Funblocks Client (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="funblocks-client"
-        - JOB=12
-      script: *clean_stack
-    - stage: upgrade_stack
-      name: "Upgrade Stack"
-      name: "root"
-      env:
-        - PACKAGE="."
-        - JOB=1
-      script: &upgrade_stack
-        - sleep $(((JOB - 1) * 20))
-        - travis_retry eval $"sudo apt-get update ; sleep 10"
-        - travis_retry eval $"sudo apt-get install --yes libgmp-dev haskell-stack ; sleep 10"
-        - export DIR=~/.local/bin
-        - if [ ! -d "$DIR" ]; then mkdir -p ~/.local/bin; fi
-        - export PATH=$HOME/.local/bin:$PATH
-        - travis_retry eval $"stack upgrade --binary-only ; sleep 10"
-        - hash -r
-        - travis_retry eval $"stack setup --reinstall ; sleep 10"
-        - stack --version
-        - travis_retry eval $"stack install --resolver lts-14.11 happy-1.19.9 alex-3.2.4 ; sleep 10"
-    - stage: upgrade_stack
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Compiler"
-      env:
-        - PACKAGE="codeworld-compiler"
-        - JOB=6
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *upgrade_stack
-    - stage: upgrade_stack
-      name: "Funblocks Client (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="funblocks-client"
-        - JOB=12
-      script: *upgrade_stack
-    - stage: build_some_dependencies
-      name: "Build some dependencies"
-      name: "root"
-      env:
-        - PACKAGE="."
-        - JOB=1
-      script: &build_some_dependencies
-        - sleep $(((JOB - 1) * 20))
-        - travis_retry eval $"sudo apt-get update ; sleep 10"
-        - travis_retry eval $"sudo apt-get install --yes libgmp-dev haskell-stack ; sleep 10"
-        - export PATH=$HOME/.local/bin:$PATH
-        - travis_retry eval $"stack upgrade --binary-only ; sleep 10"
-        - hash -r
-        - travis_retry eval $"stack setup --reinstall ; sleep 10"
-        - |
-          travis_wait 30 stack build --fast \
-            base-compat \
-            base-compat-batteries \
-            basement \
-            cereal \
-            colour \
-            cryptonite \
-            hashable \
-            haskell-src-exts \
-            lens \
-            transformers \
-            network \
-            old-time \
-            sqlite-simple
-        - sudo fallocate -l 4G /swapfile
-        - sudo chmod 600 /swapfile
-        - sudo mkswap /swapfile
-        - sudo swapon /swapfile
-        - sudo sysctl vm.swappiness=90
-        - travis_wait 30 stack build -j1 --fast jsaddle-dom
-        - sudo swapoff -a
-    - stage: build_some_dependencies
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Compiler"
-      env:
-        - PACKAGE="codeworld-compiler"
-        - JOB=6
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *build_some_dependencies
-    - stage: build_some_dependencies
-      name: "Funblocks Client (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="funblocks-client"
-        - JOB=12
-      script: *build_some_dependencies
-    - stage: build_dependencies
-      name: "Build dependencies"
-      name: "root"
-      env:
-        - PACKAGE="."
-        - JOB=1
-      script: &build_dependencies
-        - sleep $(((JOB - 1) * 20))
-        - travis_retry eval $"sudo apt-get update ; sleep 10"
-        - travis_retry eval $"sudo apt-get install --yes libgmp-dev haskell-stack ; sleep 10"
-        - export PATH=$HOME/.local/bin:$PATH
-        - travis_retry eval $"stack upgrade --binary-only ; sleep 10"
-        - hash -r
-        - travis_retry eval $"stack setup --reinstall ; sleep 10" # - stack clean --full
-        - travis_wait 30 stack build --fast --dependencies-only
-    - stage: build_dependencies
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Compiler"
-      env:
-        - PACKAGE="codeworld-compiler"
-        - JOB=6
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *build_dependencies
-    - stage: build_dependencies
-      name: "Funblocks Client (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="funblocks-client"
-        - JOB=12
-      script: *build_dependencies
-    - stage: build
-      name: "root"
-      env:
-        - PACKAGE="."
-        - JOB=1
-      script: &build
-        - sleep $(((JOB - 1) * 20))
-        - travis_retry eval $"sudo apt-get update ; sleep 10"
-        - travis_retry eval $"sudo apt-get install --yes libgmp-dev haskell-stack ; sleep 10"
-        - export PATH=$HOME/.local/bin:$PATH
-        - travis_retry eval $"stack upgrade --binary-only ; sleep 10"
-        - hash -r
-        - travis_retry eval $"stack setup --reinstall ; sleep 10"
-        - travis_wait 30 stack build --fast $PACKAGE # --ghc-options="-dynamic"
-    - stage: build
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: *build
-    - stage: build
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *build
-    - stage: build
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *build
-    - stage: build
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *build
-    - stage: build
-      name: "Compiler"
-      env:
-        - PACKAGE="codeworld-compiler"
-        - JOB=6
-      script: *build
-    - stage: build
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *build
-    - stage: build
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *build
-    - stage: build
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *build
-    - stage: build
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *build
-    - stage: build
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *build
-    - stage: build
-      name: "Funblocks Client (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="funblocks-client"
-        - JOB=12
-      script: *build
-    # - stage: Test
-    #   name: "root"
-    #  env:
-        # - PACKAGE="*"
-        # - JOB=1
-    #   script: *test
-    - stage: test
-      name: "Account"
-      env:
-        - PACKAGE="codeworld-account"
-        - JOB=2
-      script: &test
-        - sleep $(((JOB - 1) * 20))
-        - travis_retry eval $"sudo apt-get update ; sleep 10"
-        - travis_retry eval $"sudo apt-get install --yes libgmp-dev haskell-stack ; sleep 10"
-        - export PATH=$HOME/.local/bin:$PATH
-        - travis_retry eval $"stack upgrade --binary-only ; sleep 10"
-        - hash -r
-        - travis_retry eval $"stack setup --reinstall ; sleep 10"
-        - stack test --fast $PACKAGE
-    - stage: test
-      name: "API"
-      env:
-        - PACKAGE="codeworld-api"
-        - JOB=3
-      script: *test
-    - stage: test
-      name: "Auth"
-      env:
-        - PACKAGE="codeworld-auth"
-        - JOB=4
-      script: *test
-    - stage: test
-      name: "Base (with ghcjs-base-stub)"
-      env:
-        - PACKAGE="codeworld-base"
-        - JOB=5
-      script: *test
-    # - stage: test
-    #   name: "Compiler"
-    #   env:
-        # - PACKAGE="codeworld-compiler"
-        # - JOB=1
-    #   script: *test
-    - stage: test
-      name: "Error Sanitizer"
-      env:
-        - PACKAGE="codeworld-error-sanitizer"
-        - JOB=7
-      script: *test
-    - stage: test
-      name: "Game API"
-      env:
-        - PACKAGE="codeworld-game-api"
-        - JOB=8
-      script: *test
-    - stage: test
-      name: "Game Server"
-      env:
-        - PACKAGE="codeworld-game-server"
-        - JOB=9
-      script: *test
-    - stage: test
-      name: "Prediction"
-      env:
-        - PACKAGE="codeworld-prediction"
-        - JOB=10
-      script: *test
-    - stage: test
-      name: "Server"
-      env:
-        - PACKAGE="codeworld-server"
-        - JOB=11
-      script: *test
-    # - stage: test
-    #   name: "Funblocks Client (with ghcjs-base-stub)"
-    #   env:
-    #     - PACKAGE="funblocks-client"
-    #     - JOB=12
-    #   script: *test
diff --git a/README.md b/README.md
index c127b74f..e0bf7a6c 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,7 @@
 CodeWorld
 =========
 
-[![Build Status](https://travis-ci.org/google/codeworld.svg?branch=master)](https://travis-ci.org/google/codeworld)
-[![Build status](https://github.com/google/codeworld/actions/workflows/ci.yml/badge.svg)](https://github.com/google/codeworld/actions/workflows/ci.yml)
+![Build status](https://github.com/google/codeworld/actions/workflows/ci.yml/badge.svg)](https://github.com/google/codeworld/actions/workflows/ci.yml)
 
 CodeWorld is an educational environment using Haskell. It provides a simple
 mathematical model for geometric figures, animations, and interactive and
@@ -108,9 +107,7 @@ future, this should become the standard way to deploy CodeWorld.
 
 ### Stack
 
-The `stack.yaml` in the project's root is present to partially support Intero and
-[Travis CI](https://travis-ci.org/google/codeworld/).  On Travis, `codeworld-compiler`
-tests do not run.
+The `stack.yaml` in the project's root is present to partially support Intero and, in the past, [Travis CI](https://travis-ci.org/google/codeworld/).
 
 Building and running CodeWorld locally with Stack is unsupported, and in fact doesn't
 work.  Stack cannot yet substitute for the shell scripts or docker usage above.