Closed sammacbeth closed 3 years ago
Setting up a CI to keep Github pages up to date. Unfortunately Github Actions workers don't seem to have enough disk space for this, so we'll use travis.
Setting up a CI to keep Github pages up to date. Unfortunately Github Actions workers don't seem to have enough disk space for this, so we'll use travis.