From dd64e075c8d0335e61b2c2ccfb36270a6e811799 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Thu, 3 Dec 2020 01:38:08 +0100
Subject: [PATCH] only deploy on linux using gcc

---
 .travis.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index f1863eb..b1f8f80 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -27,6 +27,8 @@ script:
 deploy:
   on:
     branch: master
+    condition: "$CC = gcc"
+    os: linux
   provider: script
   script: bash push-docker-image.sh
 notifications: