Option whether to build dealii examples

[ghost]

In my experience, building the dealii tutorials is quite time consuming and if one specific is needed it can be build on demand in a local workdir. So this option allows a flag whether to enable or disable the build of the dealii tutorials.

Personally, I would also be interested in how to set up the continuous integration for testing this (i.e. how to test both cases true|false).

[koecher]

Thanks. I like to have this option very much.

[koecher]

@gfcas I maybe don't understand your question regarding CI, if you like to test, you can set up a local.cfg in which you change options and this file is not recognised by git.

[ghost]

@gfcas I maybe don't understand your question regarding CI, if you like to test, you can set up a local.cfg in which you change options and this file is not recognised by git.

@koecher thanks, that aswers the question completely! With git I have some small experience now, however, with CI I havent work until now.

[ghost]

@gfcas I maybe don't understand your question regarding CI, if you like to test, you can set up a local.cfg in which you change options and this file is not recognised by git.

May I open a pr with a modified test? As I see it correctly I would have to modify the .github/workflow/main.yml file?

[koecher]

since @tjhei is managing the CI here, I would suggest to ask him.