ci: doc improvements

.github/workflows/linux-arm32v7.yml

@@ -1,3 +1,9 @@
+# Runs on any push to ci-linux-arm32v7.
+# Produces optimised static arm32v7 linux  binaries,
+# using GHC 8.10.4 and cabal.
+# Currently runs no tests.
+# Slow, will probably time out.
+
 name: linux-arm32v7 CI binaries
 
 on:

.github/workflows/linux-x64.yml

@@ -1,3 +1,8 @@
+# Runs on any push to ci-linux-x64.
+# Produces optimised static x64 linux  binaries,
+# using the GHC version below (9.0.1) and cabal.
+# Currently runs no tests.
+
 name: linux-x64 CI binaries
 
 on:

.github/workflows/mac.yml

@@ -1,6 +1,6 @@
 # Runs on any push to ci-mac, and weekly on master.
 # Produces optimised mac binaries and runs unit/doc/functional tests,
-# using the GHC version below.
+# using the default stack.yaml's GHC version.
 
 name: mac CI binaries
 

.github/workflows/pull.yml

@@ -1,15 +1,8 @@
-# Runs on notable pull requests against master,
-# and also weekly on master.
+# Runs on notable pull requests against master, and weekly on master.
+# Runs unit/doc/functional/haddock/bench tests and produces optimised dynamic x64 linux binaries,
+# using the oldest supported GHC version (8.6).
 
-# Builds all modules optimised and runs
-# unit/doc/functional/haddock/benchmark tests on linux,
-# using the oldest supported GHC version (only, as a compromise to
-# reduce carbon emissions. Some of the other versions are exercised by
-# the other workflows.)
-# Currently does not upload a binaries artifact.
-
-# This is the "master" workflow on which the others are based, 
-# with the most detailed notes.
+# This was the original workflow, and may have the most detailed notes.
 
 name: pull request CI
 

.github/workflows/push.yml

@@ -1,8 +1,7 @@
-# Runs on (after) notable pushes to master.
-# Failure does not block the push.
-
-# Builds incrementally and runs functional tests on linux,
-# using the latest supported GHC version.
+# Runs on notable pushes to master.
+# Builds incrementally and unoptimised on x64 linux and runs functional tests,
+# using the GHC version below (8.10.7).
+# Build/test failure does not block the push.
 
 name: push CI
 

.github/workflows/windows.yml

@@ -1,6 +1,6 @@
 # Runs on any push to ci-windows, and weekly on master.
 # Produces optimised windows binaries,
-# using the default GHC version in stack.yaml.
+# using the default stack.yaml's GHC version.
 # Currently runs no tests.
 
 name: windows CI binaries

tools/release

@@ -124,3 +124,9 @@ bin() {
 }
 
 if declare -f "$1" > /dev/null; then "$@"; else usage; fi
+
+# ** notes
+# *** rerunning 
+# **** creates empty doc update commits
+# **** creates duplicate changelog headings
+# ***** CHANGES.md's version "1.24.99.1" is not yet tagged, can't list changes