Skip to content

Commit

Permalink
Rewrite pipeline to not push to git, just deploy site directly
Browse files Browse the repository at this point in the history
Generate everything by need hopefully
  • Loading branch information
themkat committed Aug 4, 2024
1 parent 2271180 commit 703bbe5
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 25 deletions.
36 changes: 12 additions & 24 deletions .github/workflows/jekyll.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,39 +12,27 @@ permissions:
id-token: write

jobs:
setupsite:
# [SKIP] Tag to skip Emacs org mode to html and tag generation
if: "!contains(github.event.head_commit.message, '[SKIP]')"
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Checkout
uses: actions/checkout@v4
- name: Setup Ruby
uses: ruby/setup-ruby@v1.190.0
with:
ruby-version: '3.1'
- uses: purcell/setup-emacs@v6.0
with:
version: 28.1
- name: Run Emacs Org mode publish to convert Org mode files to HTML
run: ./emacs_headless_publish.sh
- name: Setup new tags if any
run: ./create_tag_pages.sh
# only publish the pages for master/main branch activity
- name: Publish new files if any
if: github.event_name != 'pull_request'
- name: Create report on generated tag pages
run: |
git config --local user.email "action@github.com" && \
git config --local user.name "GitHub Action" && \
git add . && \
git commit -am "[SKIP] New org mode articles and/or tags" && \
git push
build:
runs-on: ubuntu-latest
needs: setupsite
if: "always()"
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Ruby
uses: ruby/setup-ruby@v1.190.0
with:
ruby-version: '3.1'
echo -e "<h2>Tags made:</h2>\n<ul>" >> $GITHUB_STEP_SUMMARY
ls tags >> $GITHUB_STEP_SUMMARY
echo "</ul>" >> $GITHUB_STEP_SUMMARY
- name: Setup Pages
id: pages
uses: actions/configure-pages@v5
Expand All @@ -63,7 +51,7 @@ jobs:
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
if: "always() && 'success' == needs.build.result && github.event_name != 'pull_request'"
if: "github.event_name != 'pull_request'"
steps:
- name: Deploy to GitHub Pages
id: deployment
Expand Down
3 changes: 2 additions & 1 deletion create_tag_pages.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,12 @@

TAGS=$(cat _posts/*.html | grep 'tags:' | sed -E 's/tags: (.)/\1/' | tr ' ' '\n' | sort -u)

mkdir -p tags

for tag in $TAGS
do
if [ ! -f tags/$tag.html ]
then
echo -e "---\ntitle: \"Tag: $tag\"\nlayout: tag\ntag: $tag\n---" > tags/$tag.html
git add tags/$tag.html
fi
done

0 comments on commit 703bbe5

Please sign in to comment.