Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

Remove push from CI#28

Merged
Aaron-Heath merged 1 commit intomainfrom ci-workflow2May 16, 2024

Commits

Commits on May 16, 2024