Reorder system info

Author: JasonGross

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"

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