Skip to content

This Month in Rust OSDev: October 2024 #1677

This Month in Rust OSDev: October 2024

This Month in Rust OSDev: October 2024 #1677

Workflow file for this run

name: Build Site
on:
push:
branches:
- "*"
- "!staging.tmp"
tags:
- "*"
pull_request:
schedule:
- cron: "0 0 1/4 * *" # every 4 days
jobs:
build_site:
name: "Zola Build"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: "Download Zola"
run: curl -sL https://github.com/getzola/zola/releases/download/v0.16.1/zola-v0.16.1-x86_64-unknown-linux-gnu.tar.gz | tar zxv
- name: "Build Site"
run: ./zola build
- name: Upload Generated Site
uses: actions/upload-artifact@v4
with:
name: generated_site
path: public
zola_check:
name: "Zola Check"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: "Download Zola"
run: curl -sL https://github.com/getzola/zola/releases/download/v0.16.1/zola-v0.16.1-x86_64-unknown-linux-gnu.tar.gz | tar zxv
- name: "Run zola check"
run: ./zola check
check_spelling:
name: "Check Spelling"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- run: curl -L https://git.io/misspell | bash
name: "Install misspell"
- run: bin/misspell -error content
name: "Check for common typos using `misspell`"
# Executes "typos ."
- uses: crate-ci/[email protected]
name: "Check for common typos using `typos`"
deploy_site:
name: "Deploy Generated Site"
runs-on: ubuntu-latest
needs: [build_site, check_spelling]
if: github.ref == 'refs/heads/main' && (github.event_name == 'push' || github.event_name == 'schedule') && github.repository == 'rust-osdev/homepage'
permissions:
contents: write
steps:
- name: "Download Generated Site"
uses: actions/[email protected]
with:
name: generated_site
path: generated_site
- name: Check out gh-pages branch
uses: actions/checkout@v2
with:
ref: "gh-pages"
path: "gh-pages"
- name: "Set Up Git Identity"
run: |
git config --local user.name "GitHub Actions Deploy"
git config --local user.email "[email protected]"
working-directory: "gh-pages"
- name: "Delete Old Content"
run: "rm -r ./*"
working-directory: "gh-pages"
- name: "Add New Content"
run: cp -r generated_site/* gh-pages
- name: "Commit New Content"
run: |
git add .
git commit --allow-empty -m "Deploy ${GITHUB_SHA}
Deploy of commit https://github.com/rust-osdev/homepage/commit/${GITHUB_SHA}"
working-directory: "gh-pages"
- name: "Show Changes"
run: "git show"
working-directory: "gh-pages"
- name: "Push Changes"
run: "git push"
working-directory: "gh-pages"