diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-08-10 11:32:55 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-08-15 11:11:45 -0400 |
| commit | fafe78f6aedfc0ac865379c412a87670b6211021 (patch) | |
| tree | a0a9b63b6fc3db34075175f160481cba5409fbde /ci/README.md | |
| parent | 8bd5e0af9983c6892d4076881d634cc524d643fd (diff) | |
ci: Rename .travis/ to ./ci/
Diffstat (limited to 'ci/README.md')
| -rw-r--r-- | ci/README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/README.md b/ci/README.md new file mode 100644 index 0000000000..0aed238c77 --- /dev/null +++ b/ci/README.md @@ -0,0 +1,8 @@ +## ci scripts + +This directory contains scripts for each build step in each build stage. + +Currently three stages `lint`, `extended_lint` and `test` are defined. Each stage has its own lifecycle, similar to the +[Travis CI lifecycle](https://docs.travis-ci.com/user/job-lifecycle#the-job-lifecycle). Every script in here is named +and numbered according to which stage and lifecycle step it belongs to. + |