From ac37803dffabe1fc89a8240aa21fd0bee114a5e5 Mon Sep 17 00:00:00 2001
From: Jendrik Seipp <jendrik.seipp@unibas.ch>
Date: Mon, 9 Mar 2020 14:24:11 +0100
Subject: [PATCH] Test minisat with GitHub actions.

---
 .github/workflows/ubuntu.yml | 3 ++-
 CHANGELOG.md                 | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index e00f45a..9121582 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -30,8 +30,9 @@ jobs:
         python --version
         python3 -c "import multiprocessing as m; print('CPUs:', m.cpu_count())"
 
-    - name: Install tox
+    - name: Install dependencies
       run: |
+        sudo apt-get -y install minisat
         python -m pip install --upgrade pip tox
 
     - name: Check style
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 38e2c78..b231188 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# 1.3 (2020-03-09)
+
+* Test minisat with GitHub actions.
+
+
 # 1.2 (2020-03-09)
 
 * Modernize code with pyupgrade.