Reorder system info

mit-plv · Sep 19, 2024 · 4322df2 · 4322df2
1 parent 8334b84
commit 4322df2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git 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
@@ -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