From 4525d78142cba80c4f4daaeca79426368f26e77e Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 27 May 2020 15:18:56 +0100
Subject: Try to fix Github CI

Add opam PPA when building on Ubuntu to get opam v2.
---
 .github/workflows/ubuntu_build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.github/workflows')

diff --git a/.github/workflows/ubuntu_build.yml b/.github/workflows/ubuntu_build.yml
index bf517113..ed3140ba 100644
--- a/.github/workflows/ubuntu_build.yml
+++ b/.github/workflows/ubuntu_build.yml
@@ -5,12 +5,14 @@ on: [push]
 jobs:
   build:
 
-    runs-on: ubuntu-latest
+    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