Commit built html
Implements #1162
It turns out the build was not entirely deterministic as the build time and timezone of the building machine would be included in several places. The first several commits makes it so that those timestamps use the commit timestamp.
After including all of the generated HTML, the CI is changed to check that it replicates the HTML that is in the repo.
Lastly, the build has had a deprecation warning which is resolved in the last commit. No HTML changes to fix that warning.
utACK f8cbde6f632d9dd4b46703e0923064e4649755ff
what could go wrong
Determinism is nice. What would we need to do differently before we open a PR?
What would we need to do differently before we open a PR?
Just building the site and committing the result. Can be done easily with make.
Can you write a doc for it, e.g. in CONTRIBUTING.md?
Can you write a doc for it, e.g. in CONTRIBUTING.md?
Done.
Also rebased.
Am I understanding correctly that if I checkout this PR, and run make build, there should be no diff generated? As that currently isn't the case.
Am I understanding correctly that if I checkout this PR, and run
make build, there should be no diff generated? As that currently isn't the case.
It's supposed to. What does your diff look like?
I think the non-determinism was because of sort order for posts made on the same date. Latest push should fix that.