I submitted for MPW-7 and ran mpw-precheck and tapeout successfully.  However, I got a recent email that stated the CI process failed.  Traced it to a missing top.v.gz file in the verilog/gl directory.  I think this happened during the push to Github, when I got an error due to file size greater than what GIthub would allow.  The file was gzipped but I failed to commit before push to Github, so it was not transmitted.  I have since then rectified the error (added the file, done a commit, push to Github, and did a pull request on the Project page).  The merge was successful.  My question is that is it required to re-run mpw-precheck and tapeout jobs again?  The relevant files are not touched and should not make a different outcome, I think.   Are the CI runs done automatically again?  Please let me know what I need to do in this case.  My Project is PRGA-test, hosted as 
https://github.com/cmfbook/PRGA-test.git    Thanks a lot, Sam Lim