GHA: Add simulation workflow

[dweindl]

Add workflow to check that all problems can be simulated. This will run for quite some time.

[dilpath]

Thanks 👍 Is it possible to limit this only to PRs once they are added to a merge queue (merge_group), so that the test isn't run on every commit? Or would you like it to be run on every commit?

[dweindl]

Thanks 👍 Is it possible to limit this only to PRs once they are added to a merge queue (merge_group), so that the test isn't run on every commit? Or would you like it to be run on every commit?

Possible, definitely. First the merge queue needs to be set up, though. Also fine to just run it on a daily/weekly basis.
Traffic here is pretty low, so currently I don't think there is a big problem with running it on each push. We don't have to require that check to pass before merging.
In the longer term, this could be extended to run only on the changed problems in each pull request.

I'll just set it to daily for now.

[dweindl]

I'll just set it to daily for now.

daily, and pushes to master