Automatic deployment of the Effekt compiler to the website
Right now, the only two people how know how to update the Effekt compiler on our website are @jiribenes and I. It is a manual process of:
- building the JavaScript hosted version (e.g.,
sbt fullOptJS) - copying the generated file to https://github.com/effekt-lang/effekt-website/blob/master/src/effekt.js
- running
webpack - adding, comitting, and pushing the
distfiles generated bywebpack. (for example: https://github.com/effekt-lang/effekt-website/commit/547ca609fa12076be4ddee439c14eeb3aedb323f)
Maybe we want to automate this process? I don't know exactly which form of automation we want. Two trigger options come to mind:
- On every commit to
effekt/master - On every version / tag on
effekt/master
One thing to keep in mind is that I haven't created a "release" in a while. If we keep that release schedule (which is random and almost never :) ), then the website won't be updated. It is nice to have nightlys on the website, however it could also break the website and we do not have sufficient tests to rule that out.
WDYT?
I thought about the possible triggers -- why not both nightly and a "latest tagged version"?
We could have one of those by default and let the user select the other if they want to do so, similarly to how Rust Playground does it:

Implemented by @dvdvgt