From e506f77e8f6ddeb3e114a3b7e3ce5f114192d801 Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Thu, 21 Nov 2019 17:39:24 +0000
Subject: Actions: add workflow 'push' (#1016)

* use CC=clang to build C sources on macOS

* actions: ensure that shared libs are in the PATH on windows

* ci: add GitHub Actions 'push' workflow

* ci: fix group labels

* dist: add GRAY to ansi_color

* ci: use same scripts for GHA and Travis
---
 dist/ansi_color.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dist/ansi_color.sh')

diff --git a/dist/ansi_color.sh b/dist/ansi_color.sh
index 6b81229c5..bb5c348bc 100644
--- a/dist/ansi_color.sh
+++ b/dist/ansi_color.sh
@@ -7,6 +7,7 @@ enable_color() {
   ANSI_YELLOW="\033[33m"
   ANSI_BLUE="\033[34m"
   ANSI_MAGENTA="\033[35m"
+  ANSI_GRAY="\033[90m"
   ANSI_CYAN="\033[36;1m"
   ANSI_DARKCYAN="\033[36m"
   ANSI_NOCOLOR="\033[0m"
-- 
cgit v1.2.3