I am seeing a lot of issues in the integration with github jobs:
• re-running failed jobs in github has stopped working for me. It was very convenient and very well integrated in the UX, but now you click it and nothing happens, no error, nothing.
• Often jobs are reported as Running, but if you check them they are finished in github. There is no way to force the sync, and I need to merge from github to fix the issue.