diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
new file mode 100644
index 00000000..3d12e892
--- /dev/null
+++ b/.github/workflows/changelog.yml
@@ -0,0 +1,13 @@
+name: Changelog check
+
+on:
+  pull_request:
+    branches: [ main ]
+    types: [ opened, synchronize, reopened, labeled, unlabeled ]
+
+jobs:
+  Changelog-Entry-Check:
+    name: Check Changelog Action
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: tarides/changelog-check-action@v1
diff --git a/.github/workflows/pr-number.yml b/.github/workflows/pr-number.yml
new file mode 100644
index 00000000..37d75d65
--- /dev/null
+++ b/.github/workflows/pr-number.yml
@@ -0,0 +1,8 @@
+name: PR number update
+on: [pull_request_target]
+jobs:
+  PR-Number-Update:
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Update PR number
+        uses: tarides/pr-number-action@v1.1
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 3ea9acb2..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-language: c
-sudo: required
-install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-opam.sh
-script: bash -ex .travis-opam.sh
-cache:
-    directories:
-    - $HOME/.opam
-env:
-  global:
-  - PACKAGE=yojson
-  matrix:
-  - OCAML_VERSION=4.02 OCAML_SWITCH=4.02.3
-  - OCAML_VERSION=4.03
-  - OCAML_VERSION=4.04
-  - OCAML_VERSION=4.05
-  - OCAML_VERSION=4.06
-  - OCAML_VERSION=4.07
-os:
-  - linux