-
Notifications
You must be signed in to change notification settings - Fork 2
Open
Labels
dev-opsCI/CD, development tools and operationsCI/CD, development tools and operations
Description
We'd like to have a CI/CD pipeline for developing on GitHub, so that we can have:
- full control of this pipeline and its maintenance
- contributors from all around the world who can safely contribute, in the spirit of open-source
What I would like to see in the development pipeline:
- Update REUSE copyright metadata (see
scripts/hooks/update-copyright-metadata.sh) - Source code formatting (
lein cljfmt check) - Run tests (
lein kaocha) - (Later) generate documentation (AsciiDoctor)
Perhaps more, and some tweaking will be necessary.
We will definitely be needing a Docker image here. The GitHub Marketplace is worth checking out too.
Metadata
Metadata
Assignees
Labels
dev-opsCI/CD, development tools and operationsCI/CD, development tools and operations