This repository was archived by the owner on Feb 6, 2026. It is now read-only.

chore(build): Remove duplicate GHA bot from PRs#2633

Merged

si-bors-ng[bot] merged 1 commit intomainfrom

paul/remove-old-gha

Aug 17, 2023

Commits on Aug 17, 2023

chore(build): Remove duplicate GHA bot from PRs
stack72
committed