Discuss merits of push vs pull model for CI

[JCGoran]

Currently the daily CI just downloads whatever models are available on the ModelDB website (or GitHub), without regards as to whether or not the models actually can be compiled. This often results in the CI failing, and needing a manual fix.

The proposal

Perhaps it would be worth investigating whether or not we could switch to a model where, for each new model(s) added to the DB, a PR is opened to make sure that we have the correct configuration. This way, we can control which models get added to the DB, and make sure that the CI is always green.