Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(ci): remove unused Jenkins pipeline
This was added in #30 originally before move to Community Hub. Since then, this Jenkins pipeline is unused.
- Loading branch information