Add a workflow to check whether the code generated for the test models in `models/` is up-to-date. Ignore differences in `get_amici_commit()`.
Add a workflow to check whether the code generated for the test models in
models/is up-to-date. Ignore differences inget_amici_commit().