diff --git a/ci/github.sh b/ci/github.sh
index ba91794d37..3177e3b24a 100644
--- a/ci/github.sh
+++ b/ci/github.sh
@@ -7,6 +7,8 @@ FEATURES=(std serde clock "alloc serde")
 RUST_113_FEATURES=(rustc-serialize serde)
 
 main() {
+    echo "ENV %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%" >&2
+    env | sort >&2
     if [[ $RUST_VERSION != 1.13.0 ]]; then
         if [[ $KIND == lint ]]; then
             do_lints