From a3ef0e82e3dc14a40e279af4ad90661d405a73aa Mon Sep 17 00:00:00 2001 From: Tim Schubert Date: Mon, 18 Dec 2017 13:41:40 +0000 Subject: [PATCH] Update notes.md --- notes.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/notes.md b/notes.md index 5644935..fd05b01 100644 --- a/notes.md +++ b/notes.md @@ -8,17 +8,17 @@ ## Checkstyle - GitLab CI -- (Docker)container -- Shared Runner -- restrict Container to checkstyle +- [Docker](https://docs.gitlab.com/omnibus/docker/README.html)container +- [Shared Runner](https://docs.gitlab.com/ce/ci/runners/README.html) +- restrict Container to [checkstyle - disable internet access for container -## Deadline [at,cron]job +## JPlag -- each repo has protected master branch -> used for handing in exercises -- create automatic protected TAG on deadline in each repo -- trigger protected runner via push to master repo -- protected runner runs checks out TAG from all repos into /tmp and runs [JPlag](https://jplag.ipd.kit.edu/) +- Deadline [at,cron]job or schedule via gitlab +- triggers [Protected Runner](https://docs.gitlab.com/ee/ci/runners/README.html#protected-runners) +- creates automatic protected TAG in each repo +- checks out TAG from all repos into /tmp and runs [JPlag](https://jplag.ipd.kit.edu/) ## (optional) sync script