Mihawk 1cdf298db1 Pins: the new ids of my rewritten commits ...

On 2026-10-05 the history of my GitHub repositories was rewritten to replace
my old e-mail address with my GitHub noreply address. Each commit of mine got
a new id, with the same files, message and dates, and GitHub no longer serves
the old ids. This replaces every old id in this repository's pins, notes and
evidence with the new id of the same commit, at the same length; no other
character changes. Each pinned commit was checked on GitHub
(gh api repos/mihawk-99/<repo>/commits/<sha>): 22 of 22 found.

2026-10-05 14:00:05 -04:00

..

capture.json

Pins: the new ids of my rewritten commits

2026-10-05 14:00:05 -04:00

display-modes-test.jsonl

Prove the driver's display sizes on the console with a display modes test

2026-10-04 14:22:07 -04:00

expectation.json

Prove the driver's display sizes on the console with a display modes test

2026-10-04 14:22:07 -04:00