From 4322df289706d4ea918e090f5f7f32d0019e840c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 19 Sep 2024 11:32:27 -0700
Subject: [PATCH] Reorder system info

---
 .../describe-system-config-common-groups.sh   | 20 +++++++++----------
 etc/ci/describe-system-config.sh              |  2 +-
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/etc/ci/describe-system-config-common-groups.sh b/etc/ci/describe-system-config-common-groups.sh
index f1d23962ff..565ba1009d 100644
--- a/etc/ci/describe-system-config-common-groups.sh
+++ b/etc/ci/describe-system-config-common-groups.sh
@@ -5,15 +5,23 @@ eval $(opam env) || true
 group uname -a
 group ulimit -aH
 group ulimit -aS
+group "echo PATH=$PATH"
+group "echo SHELL=$SHELL"
+group etc/machine.sh
 group ghc --version
 group ghc -v
 group ldd --version
 group gcc --version
 group gcc -v
-group opam switch
-group opam list
+group js_of_ocaml --version
+group wasm_of_ocaml --version
+group coqc --config
+group coqc --version
+group coqtop </dev/null
 group ocamlc -config
 group ocamlc -where
+group opam switch
+group opam list
 group ocamlfind printconf destdir
 group ocamlfind list
 group ocamlfind query findlib
@@ -23,12 +31,4 @@ group ocamlfind query coq-core
 group ocamlfind query coq-core.plugins
 group ocamlfind query coq-core.plugins.ltac
 group "ocamlfind query coq | xargs find"
-group js_of_ocaml --version
-group wasm_of_ocaml --version
-group coqc --config
-group coqc --version
-group coqtop </dev/null
-group etc/machine.sh
-group "echo PATH=$PATH"
-group "echo SHELL=$SHELL"
 group etc/ci/github-actions-record-coq-info.sh "$GITHUB_STEP_SUMMARY"
diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh
index a1f89bc2cd..1c9a21077d 100755
--- a/etc/ci/describe-system-config.sh
+++ b/etc/ci/describe-system-config.sh
@@ -32,6 +32,6 @@ group cat /etc/alpine-release
 group apk info
 group apk info coq
 group apk --print-arch
+. etc/ci/describe-system-config-common-groups.sh
 group dpkg -l | cat
 group pacman -Qs
-. etc/ci/describe-system-config-common-groups.sh