search

makeclean / occ_faceter

GNU Lesser General Public License v2.1
4 stars 6 forks source link

Remove CircleCI #24

Closed johnnonweiler closed 8 months ago

johnnonweiler commented 9 months ago

Delete CircleCI configuration, since we're now using GitHub Actions instead

johnnonweiler commented 9 months ago

This PR should hopefully demonstrate the new GitHub Actions workflow.