Add CI #2

Closed
John-K wants to merge 3 commits from CI into master
John-K commented 2025-02-14 22:37:57 -06:00 (Migrated from github.com)
No description provided.
John-K commented 2025-02-14 22:38:49 -06:00 (Migrated from github.com)

Oops, wrong repo

Oops, wrong repo

Pull request closed

Sign in to join this conversation.
No description provided.