Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Build docs site with GitHub Actions #8201

Merged
merged 8 commits into from
Nov 11, 2020
Merged

Build docs site with GitHub Actions #8201

merged 8 commits into from
Nov 11, 2020

Commits on May 22, 2020

  1. Build docs site with GitHub Actions

    @iBug
    iBug committed May 22, 2020
    Configuration menu
    Copy the full SHA
    0529d26 View commit details
    Browse the repository at this point in the history

  2. Add GitHub Actions caching

    @iBug
    iBug committed May 22, 2020
    Configuration menu
    Copy the full SHA
    173fdb1 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2020

  1. JEKYLL_PAT -> JEKYLL_GITHUB_TOKEN

    @iBug
    iBug committed Aug 5, 2020
    Configuration menu
    Copy the full SHA
    0e50ea0 View commit details
    Browse the repository at this point in the history

  2. Apparently we want to build on push, not on PR

    @iBug
    iBug committed Aug 5, 2020
    Configuration menu
    Copy the full SHA
    e2b3c2a View commit details
    Browse the repository at this point in the history

  3. Clone the deploy branch before building 

    As of July 31, 2020, GitHub Pages still fails to deploy if the target
branch contains only one commit (the root commit). By cloning the target
branch before building, we can push the newly built content as a new
commit on top of the existing branch, effectively bypassing this GH
Pages issue.

Also, this preserves the deploy history, though I'm unsure if anyone
really cares.
    @iBug
    iBug committed Aug 5, 2020
    Configuration menu
    Copy the full SHA
    e8eb528 View commit details
    Browse the repository at this point in the history

  4. Correct the git clone command

    @iBug
    iBug committed Aug 5, 2020
    Configuration menu
    Copy the full SHA
    465291a View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2020

  1. chore(ci): don't update gems to build the site

    @DirtyF
    DirtyF committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    98011cf View commit details
    Browse the repository at this point in the history

  2. chore(ci): hash Gemfile.lock

    @DirtyF
    DirtyF committed Nov 11, 2020
    Configuration menu
    Copy the full SHA
    a4e2331 View commit details
    Browse the repository at this point in the history