search

bblfsh / documentation

Babelfish documentation (GitBook)
https://docs.sourced.tech/babelfish
Creative Commons Attribution Share Alike 4.0 International
41 stars 30 forks source link

Automated update #281

Closed jbeardly closed 5 years ago

jbeardly commented 5 years ago

regular languages update

This change is Reviewable

creachadair commented 5 years ago

The CI failed; I'm not sure if it's a transient failure, so I manually restarted it to see if it goes away on its own. If not, we might have a formatting issue (since it failed in the HTML checker).

creachadair commented 5 years ago

It looks like the site cert for www.graphviz.org expired:

This server could not prove that it is www.graphviz.org; its security certificate expired yesterday. This may be caused by a misconfiguration or an attacker intercepting your connection. Your computer's clock is currently set to Monday, September 16, 2019. Does that look right? If not, you should correct your system's clock and then refresh this page.

(my system clock is fine; I'm guessing Curl gets the same error)

creachadair commented 5 years ago

https://gitlab.com/graphviz/graphviz/issues/1595

creachadair commented 5 years ago

The site cert is still broken (~5h later). It is probably safe for us to merge this PR anyway, since the check that's failing is on the address rather than the structure of the doc. I'll let it sit till tomorrow morning and if it hasn't been fixed by then, I'll merge.

creachadair commented 5 years ago

https://gitlab.com/graphviz/graphviz/issues/1595 is resolved; I've manually re-triggered Travis.