Repository navigation

docs: pin workflow badges to main - #1583

Merged

zackees merged 2 commits into

mainfrom

docs/badges-main-push

Oct 1, 2026

Merged

docs: pin workflow badges to main#1583
zackees merged 2 commits into
mainfrom
docs/badges-main-push

Commits on Oct 1, 2026
- docs: pin workflow badges to main
  zackees
  committed
  dfc1a2d
- docs: filter only the Check Ubuntu badge by push events (review)
  zackees
  committed
  231aa5f