Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Various of fixes in preparation of running this Docker on AWS #116
This is still a WIP. Missing:
(yes, this deprecates the use of Azure Pipelines)
I am going to change how tags are created on the images. The master branch will have the tag
This means that production needs to fetch the latest tag, which can be a bit unclear. So, instead, we are going to deploy based on the
Rebuilding can be done via
Could use a review on this, although I understand that might be difficult. Any questions about what it is doing and why, please let me know. I could use a fresh pair of eyes on this really :)
Please do not merge; I have some other things to put into place before this is merged :)
In the way this Docker is used in production, there is always a webserver in front of it, logging everything. By minimizing what this Docker is logging, we can easier see what is going wrong.
It currently was generating the HTML of the last 10 months (and increasing). This was giving more and more issues due to the instability of the current CDN in use. As there is no need to generate HTML for all the nightlies anyway, limit it to the last 14 is a good idea anyway. For those that want to access older nightlies, they can use the archive directly.