diff options
| author | Daniel Mueller <deso@posteo.net> | 2018-12-16 20:28:36 -0800 |
|---|---|---|
| committer | Daniel Mueller <deso@posteo.net> | 2018-12-16 20:28:36 -0800 |
| commit | 6d0db4ef0d3c1cde9cc98606cbbb32977ece4218 (patch) | |
| tree | f0a96ec200f2326d2cebb81e735b1f11ab1035d2 /libc/src/unix/hermit/mod.rs | |
| parent | 5116ac035a5ea5994ffadb8a497531fd1f3f4f3b (diff) | |
| download | nitrocli-6d0db4ef0d3c1cde9cc98606cbbb32977ece4218.tar.gz nitrocli-6d0db4ef0d3c1cde9cc98606cbbb32977ece4218.tar.bz2 | |
Add gitlab-ci.yml configuration file
This change adds a configuration file for the Gitlab CI/CD pipeline to
the repository. This file (directly or indirectly) controls the
environment in which to build, what exactly to build, and ultimately
would also be used to define what tests to run.
With the pipeline in place the change also adds a badge indicating the
status of the build on the project's front page.
The following other CI services have been evaluated or tested and found
to be insufficient for the needs at hand:
- Travis CI: Does not support configuration in a directory other than
the repository root
- Cirrus CI: Has the same problem
- Semaphore: Does not support Rust
- Circle CI: Does not support Rust
- Google Cloud Build: Pretty much strictly a paid service
Diffstat (limited to 'libc/src/unix/hermit/mod.rs')
0 files changed, 0 insertions, 0 deletions