Closed JCGoran closed 1 week ago
I think we should be fine, we are querying URLs of the form:
https://api.github.com/repos/[org_or_user]/[repo]/zipball/pull/[PR number]/head
and this seems to return the right zip file regardless if the PR is merged or the branch deleted.
This is mostly for models that need trivial(ish) fixes.
MODELS_TO_RUN=32992 180373 151731 147757 155602 189347 112685 139150 232097 168314 257027 157157 2015410 106551 128559 105507 127021 183300 51781 149739 137259 185513 119283 126640
Related NEURON PRs that required this change:
Models fixed: