CI: fix DovesLapTimer pin to v4.1.0 — #62 merged before the correction landed

.github/workflows/compile-sketch.yml

@@ -18,7 +18,7 @@ jobs:
       # channels move together; everything else pins the known-good release
       # tag (bump deliberately). base_ref is only set on pull_request events;
       # ref_name covers push / workflow_dispatch.
-      LAPTIMER_REF: ${{ (github.base_ref == 'BETA' || github.ref_name == 'BETA') && 'BETA' || 'v2.3.1' }}
+      LAPTIMER_REF: ${{ (github.base_ref == 'BETA' || github.ref_name == 'BETA') && 'BETA' || 'v4.1.0' }}
     # Build both XIAO nRF52840 variants. The Sense board has the onboard
     # LSM6DS3 IMU; the plain board does not (accelerometer logging degrades
     # gracefully). Same MCU/BLE/bootloader otherwise.

.github/workflows/release.yml

@@ -72,7 +72,7 @@ jobs:
             "ArxTypeTraits"
           # Release builds pin the lap-timer library to a known-good tag —
           # bump deliberately. (Beta builds track its BETA branch instead.)
-          arduino-cli lib install --git-url https://github.com/TheAngryRaven/DovesLapTimer.git#v2.3.1
+          arduino-cli lib install --git-url https://github.com/TheAngryRaven/DovesLapTimer.git#v4.1.0
           pip install --user adafruit-nrfutil
 
       - name: Compile

CHANGELOG.md

@@ -16,7 +16,7 @@ and this project aims to follow [Semantic Versioning](https://semver.org/spec/v2
 - **CI now controls which DovesLapTimer the firmware is built against.**
   Builds targeting (or running on) the `BETA` branch track the library's own
   `BETA` branch, so the two beta channels move together; `master` CI and the
-  release/tag builds pin the known-good `v2.3.1` tag instead of floating on
+  release/tag builds pin the known-good `v4.1.0` tag instead of floating on
   the library's default-branch tip. Bump the pin deliberately when a new
   library release is validated.
 

CLAUDE.md

@@ -107,7 +107,7 @@ desktop toolchain. This is where logic worth unit-testing lives.
 
 | Path | Contents |
 |---|---|
-| `.github/workflows/` | CI: compile-sketch (+ flash-size gate), arduino-lint, unit-tests, clang-tidy, coverage, release (dual-board build + GitHub Release + prod OTA manifest to `gh-pages`), beta (dual-board build on `BETA`-branch push → latest-only `beta/` OTA channel on `gh-pages`, no Release). DovesLapTimer ref per channel: `BETA` builds track the library's `BETA` branch, master/release pin `v2.3.1` |
+| `.github/workflows/` | CI: compile-sketch (+ flash-size gate), arduino-lint, unit-tests, clang-tidy, coverage, release (dual-board build + GitHub Release + prod OTA manifest to `gh-pages`), beta (dual-board build on `BETA`-branch push → latest-only `beta/` OTA channel on `gh-pages`, no Release). DovesLapTimer ref per channel: `BETA` builds track the library's `BETA` branch, master/release pin `v4.1.0` |
 | `tests/` | Host doctest harness (CMake) for the pure-logic units |
 | `CHANGELOG.md` | Keep-a-Changelog history; release workflow ties to version tags |
 | `ARCHITECTURE.md` | Human-facing architecture narrative (subsystems, design decisions) |
@@ -616,7 +616,7 @@ Stored in `trackLayouts[MAX_LAYOUTS]` (max 10 per track).
 | SparkFun u-blox GNSS v3 | UBX binary PVT GPS interface |
 | ArduinoJson 6.x | Track file JSON parsing |
 | SdFat | SD card (FAT16/32) |
-| DovesLapTimer | Lap/sector timing (external: TheAngryRaven/DovesLapTimer). CI refs: `BETA`-targeted builds track the library's `BETA` branch; master/release builds pin `v2.3.1` (bump deliberately) |
+| DovesLapTimer | Lap/sector timing (external: TheAngryRaven/DovesLapTimer). CI refs: `BETA`-targeted builds track the library's `BETA` branch; master/release builds pin `v4.1.0` (bump deliberately) |
 | Seeed Arduino LSM6DS3 | Onboard IMU accelerometer/gyro (Sense variant, ±16g) |
 | Bluefruit nRF52 | BLE (built into board package) |