Test minisat with GitHub actions.

aibasel · Mar 9, 2020 · ac37803 · ac37803
1 parent ba17d27
commit ac37803
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git 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
@@ -1,3 +1,8 @@
+# 1.3 (2020-03-09)
+
+* Test minisat with GitHub actions.
+
+
 # 1.2 (2020-03-09)
 
 * Modernize code with pyupgrade.