Commit Graph

4 Commits

Author SHA1 Message Date
Jonas Schäfer 7941813d79 ci: correctly detect outdated branches 2020-06-14 15:46:56 +02:00
Jonas Schäfer b028cca04d ci: use git merge-base to detect changed files
This prevents false positives if the branch is not rebased on
current main.
2020-06-14 15:46:56 +02:00
Jonas Schäfer bf5bace92e ci: do not include deleted files in the changed builds 2020-06-14 15:46:52 +02:00
Jonas Schäfer 0dbfaff260 Create GitLab.com CI pipeline
This pipeline features the following:

- Building of an nginx image with the XEPs as static files,
  in all formats.
- Incremental builds on the main branch and incremental builds
  for MRs based on the last main build.
- Automatic archiving of changed XEPs to the attic
- Automatic announcement to the mailing lists
2020-06-14 14:09:35 +02:00