bstein pushed to main at bstein/typhon

bstein
Mon, 13 Apr 2026 07:07:09 +0000

078359dd3ffa1c0aadd00b3291946a72ba761ee0 ci: avoid git safe-directory issue in image tag