Skip to content

chore: pin GitHub Actions to commit SHAs - #7

Merged
gaetandi merged 2 commits into
mainfrom
chore/pin-github-actions
Jul 9, 2026
Merged

gaetandi merged 2 commits into
mainfrom
chore/pin-github-actions

update coverage badge

f8f129b
Select commit
Loading
Failed to load commit list.