seqan3-infrastructure Infrastructure for seqan3 including nightly builds, continues integration, continues deployment, coverage tests, static code analysis and containerisation.