Joshua King c6d812cca2 ci: rename rolling release tag dev -> dev-latest ...

A release tag named "dev" collides with the dev branch, making refs
ambiguous ("refname 'dev' is ambiguous") and breaking git push/checkout.
Publish the rolling build to tag "dev-latest" instead; pi-update.sh pulls
from there.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

2026-06-05 11:48:15 -04:00

..

scripts

ci: rename rolling release tag dev -> dev-latest

2026-06-05 11:48:15 -04:00

workflows

ci: consolidate frontend gates into one job

2026-06-05 10:24:33 -04:00