Resolve "Update of the pipeline for linux and usage of variables" - [merged]

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 10:56

Merges 14-update-of-the-pipeline-for-linux-and-usage-of-variables -> master

Closes #14

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:02

added 1 commit

• 124fe40f - initial version of the new pipeline

Compare with previous version

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:39

added 1 commit

• 7fcb4794 - use coding style tool on new machine

Compare with previous version

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:41

added 1 commit

• 514aef30 - fix typo in pipeline settings

Compare with previous version

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:44

added 1 commit

• 8a15acaa - fix usage of badges

Compare with previous version

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:50

added 1 commit

• cf9fdd50 - final set for merge

Compare with previous version

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:52

approved this merge request

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:52

unmarked as a Work In Progress

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:52

mentioned in commit 9755db2479ab766ecddc4badcc2817092c1dfe35

[rainman110]

In GitLab by @jensschmeink on Sep 29, 2020, 11:52

merged