Update notes.md
This commit is contained in:
parent
5484c291d5
commit
a3ef0e82e3
1 changed files with 8 additions and 8 deletions
16
notes.md
16
notes.md
|
@ -8,17 +8,17 @@
|
||||||
## Checkstyle
|
## Checkstyle
|
||||||
|
|
||||||
- GitLab CI
|
- GitLab CI
|
||||||
- (Docker)container
|
- [Docker](https://docs.gitlab.com/omnibus/docker/README.html)container
|
||||||
- Shared Runner
|
- [Shared Runner](https://docs.gitlab.com/ce/ci/runners/README.html)
|
||||||
- restrict Container to checkstyle
|
- restrict Container to [checkstyle
|
||||||
- disable internet access for container
|
- disable internet access for container
|
||||||
|
|
||||||
## Deadline [at,cron]job
|
## JPlag
|
||||||
|
|
||||||
- each repo has protected master branch -> used for handing in exercises
|
- Deadline [at,cron]job or schedule via gitlab
|
||||||
- create automatic protected TAG on deadline in each repo
|
- triggers [Protected Runner](https://docs.gitlab.com/ee/ci/runners/README.html#protected-runners)
|
||||||
- trigger protected runner via push to master repo
|
- creates automatic protected TAG in each repo
|
||||||
- protected runner runs checks out TAG from all repos into /tmp and runs [JPlag](https://jplag.ipd.kit.edu/)
|
- checks out TAG from all repos into /tmp and runs [JPlag](https://jplag.ipd.kit.edu/)
|
||||||
|
|
||||||
## (optional) sync script
|
## (optional) sync script
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue