ci: coverage map refresh + health workflows

Author: sbryngelson

.github/workflows/common/coverage-refresh.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+set -e
+NJOBS="${SLURM_CPUS_ON_NODE:-24}"; [ "$NJOBS" -gt 64 ] && NJOBS=64
+./mfc.sh clean
+source .github/scripts/retry-build.sh
+retry_build ./mfc.sh build --gcov -j 8
+./mfc.sh test --build-coverage-map --gcov -j "$NJOBS"

.github/workflows/coverage-health.yml

@@ -0,0 +1,18 @@
+# .github/workflows/coverage-health.yml
+name: 'Coverage Map Health'
+on:
+  schedule:
+    - cron: '0 7 * * *'      # daily; loud if the refresh stopped working
+  workflow_dispatch:
+jobs:
+  health:
+    if: github.repository == 'MFlowCode/MFC'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with: { python-version: '3.12' }
+      - name: Initialize MFC
+        run: ./mfc.sh init
+      - name: Check coverage map freshness
+        run: build/venv/bin/python3 .github/scripts/check_coverage_map_health.py

.github/workflows/coverage-refresh.yml

@@ -0,0 +1,37 @@
+# .github/workflows/coverage-refresh.yml
+name: 'Coverage Map Refresh'
+on:
+  schedule:
+    - cron: '0 6 * * 1'      # weekly floor
+  push:
+    branches: [master]
+    paths:
+      - 'toolchain/mfc/test/cases.py'
+      - 'src/**/*.fpp'
+  workflow_dispatch:
+concurrency:
+  group: coverage-refresh
+  cancel-in-progress: true
+jobs:
+  refresh:
+    if: github.repository == 'MFlowCode/MFC'
+    timeout-minutes: 240
+    runs-on:
+      group:  phoenix
+      labels: gt
+    steps:
+      - uses: actions/checkout@v4
+        with: { clean: false }
+      - name: Build + collect coverage map (SLURM)
+        run: bash .github/scripts/submit-slurm-job.sh .github/workflows/common/coverage-refresh.sh cpu none phoenix
+      - name: Commit refreshed map
+        run: |
+          if ! git diff --quiet tests/coverage_map.json.gz; then
+            git config user.name  "mfc-bot"
+            git config user.email "mfc-bot@users.noreply.github.com"
+            git add tests/coverage_map.json.gz
+            git commit -m "test: refresh coverage map [skip ci]"
+            git push origin HEAD:master
+          else
+            echo "Coverage map unchanged."
+          fi