From 62038e2448520ad8d1e352b1d5f9ca9dc7306364 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 2 Jun 2020 15:23:36 +0100
Subject: Add ubuntu 20.04 workflow

---
 .github/workflows/ubuntu_18_04_build.yml | 18 ++++++++++++++++++
 .github/workflows/ubuntu_20_04_build.yml | 16 ++++++++++++++++
 .github/workflows/ubuntu_build.yml       | 18 ------------------
 3 files changed, 34 insertions(+), 18 deletions(-)
 create mode 100644 .github/workflows/ubuntu_18_04_build.yml
 create mode 100644 .github/workflows/ubuntu_20_04_build.yml
 delete mode 100644 .github/workflows/ubuntu_build.yml

(limited to '.github/workflows')

diff --git a/.github/workflows/ubuntu_18_04_build.yml b/.github/workflows/ubuntu_18_04_build.yml
new file mode 100644
index 00000000..02755e87
--- /dev/null
+++ b/.github/workflows/ubuntu_18_04_build.yml
@@ -0,0 +1,18 @@
+name: CI ubuntu-18.04
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-18.04
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: Build on ubuntu
+      run: |
+        sudo add-apt-repository ppa:avsm/ppa
+        sudo apt update
+        sudo apt install build-essential libgmp-dev z3
+        sudo apt install opam
+        etc/ci_opam_build.sh
diff --git a/.github/workflows/ubuntu_20_04_build.yml b/.github/workflows/ubuntu_20_04_build.yml
new file mode 100644
index 00000000..097b56bf
--- /dev/null
+++ b/.github/workflows/ubuntu_20_04_build.yml
@@ -0,0 +1,16 @@
+name: CI ubuntu-20.04
+
+on: [push]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-20.04
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: Build on ubuntu
+      run: |
+        sudo apt install build-essential libgmp-dev z3
+        sudo apt install opam
+        etc/ci_opam_build.sh
diff --git a/.github/workflows/ubuntu_build.yml b/.github/workflows/ubuntu_build.yml
deleted file mode 100644
index ed3140ba..00000000
--- a/.github/workflows/ubuntu_build.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: CI ubuntu-latest
-
-on: [push]
-
-jobs:
-  build:
-
-    runs-on: ubuntu-18.04
-
-    steps:
-    - uses: actions/checkout@v1
-    - name: Build on ubuntu
-      run: |
-        sudo add-apt-repository ppa:avsm/ppa
-        sudo apt update
-        sudo apt install build-essential libgmp-dev z3
-        sudo apt install opam
-        etc/ci_opam_build.sh
-- 
cgit v1.2.3