From 3b655fb6a172ddfb8305f0262d8768a65cf75664 Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Mon, 22 Mar 2021 04:14:09 -0400
Subject: [PATCH] debug: check network

---
 .github/commands/ci-setup | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/commands/ci-setup b/.github/commands/ci-setup
index 85e7ee56b..92d07331c 100755
--- a/.github/commands/ci-setup
+++ b/.github/commands/ci-setup
@@ -2,6 +2,9 @@
 set -eo pipefail
 set -x
 
+echo "=====> ifconfig"
+ifconfig
+
 echo "=====> set hostname"
 hostname
 internal_ip="$(ifconfig eth0 | grep 'inet addr:' | cut -d: -f2 | awk '{ print $1}')"