search

RHIT-XPrize / rhit-xprize-blocksworld

0 stars 0 forks source link

Fix the CI to not ping GitHub for each build #76

Closed Lewis-Kelley closed 6 years ago

Lewis-Kelley commented 6 years ago

I sat here running builds repeatedly for 20-30 minutes, and none of them failed, so I think this should fix the current problems we have.