Skip to content

Set up CI/CD development pipeline on GitHub #53

@bartkl

Description

@bartkl

We'd like to have a CI/CD pipeline for developing on GitHub, so that we can have:

  1. full control of this pipeline and its maintenance
  2. 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 operations

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions