github pull time

I've pushed to a repository on github, it's been about 40 minutes, and it hasn't pulled it and tried to rebuild. Is there any dashboard, or something that can tell me if it's just lagging, or etc.
3 Replies
Unknown User
Unknown User9mo ago
Message Not Public
Sign In & Join Server To View
timprepscius
timprepsciusOP9mo ago
yeah, if I make the endpoint again, it works - I've resorted to a "inner git pull"
Unknown User
Unknown User9mo ago
Message Not Public
Sign In & Join Server To View

Did you find this page helpful?