search

freemint / gemma

The GEM application support library
GNU General Public License v2.0
3 stars 1 forks source link

No build triggered #4

Closed th-otto closed 6 years ago

th-otto commented 6 years ago

Pushing to this repo does not seem to trigger automated builds currently

mikrosk commented 6 years ago

Not only for this repository but for all of them. I have no idea what has happened.

th-otto commented 6 years ago

The last build is from your commit updating the README.md, which was already after the move. Same in the other 2 repos.

th-otto commented 6 years ago

There had been some service inavailabilities of github.com in the last few day, maybe travis went mad?

mfro0 commented 6 years ago

just done a freemint (and libcmini) commit and both built fine.

So it's probably not a general problem.

th-otto commented 6 years ago

Yes, but gemlib and mintlib also seem to be affected. More specifically, no build has been triggered in these repos after their .travis.yml file has been updated. Could there be something wrong with their syntax after the update?

mfro0 commented 6 years ago

yes, there appears to be something wrong with .travis.yml. See here: https://travis-ci.org/freemint/gemma/requests?requestId=124333710

You can trigger a build on the "More options" pulldown on the top right, btw.

mikrosk commented 6 years ago

Why Travis didn't complain immediately about bad .travis.yml is beyond me (usually I get an ERRORED email). I'll take a look.

th-otto commented 6 years ago

Because the build did not fail... it wasn't started at all ;)

mikrosk commented 6 years ago

I've found the cause... but even if the build doesn't start, I was always getting an ERRORED emails. Really odd.

mikrosk commented 6 years ago

OK, fixed in all repositories. Reason for this change (and fail) was that I had discovered a funny bug: if you happened to be a person with write access to freemint repositories and you forked a repository and made own branch and pushed it without change, it would get published in the freemint.github.io repository. :)

Not a disaster but I was quite surprised to find some of my branches there. (now deleted)