search

OpenMath / OMSTD

The OpenMath Standard (starting with OpenMath 2)
9 stars 5 forks source link

Make travis builds react better to PR #3

Closed davidcarlisle closed 7 years ago

davidcarlisle commented 7 years ago

Currently on a PR travis usefully checks the build of the modified spec but then always fails to push the result back to the openmath.io gh pages site as it runs under an anonymous user.

We don't want any person to update the openmath,org site just by suggesting a PR so it's good it doesn't have access.

It's possible to make travis not respond at all to PR or (if I read the docs again later) it's possible for the run script to skip the pushing back to the public website if it is triggered by a PR

Meanwhile no harm is done other than the "fail" message, it goes red on a PR and green again on the merge, but I should fix this.

davidcarlisle commented 7 years ago

for now (at least) I have just set travis not to build on PR

davidcarlisle commented 7 years ago

I changed this again so the run script now detects PR builds and does not clone the website, so I have re-enabled travis to check PR.