This repository was archived by the owner on Feb 19, 2026. It is now read-only.
This repository was archived by the owner on Feb 19, 2026. It is now read-only.
Replace CircleCI with GitHub Actions #29
Description
Since we have been switching from using CircleCI to using Jenkins, this one should be updated as well.