name: Deploy with Org and Jekyll on: push: branches: ["main"] # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: contents: read pages: write id-token: write concurrency: group: "pages" cancel-in-progress: true jobs: build: runs-on: ubuntu-latest steps: - name: Checkout uses: actions/checkout@v3 - name: Install Emacs uses: purcell/setup-emacs@master with: version: 28.1 - name: Build with Org run: | cd org make clean make cd .. ./patches/gmi.sh - name: Setup Pages uses: actions/configure-pages@v2 - name: Build with Jekyll uses: actions/jekyll-build-pages@v1 with: source: ./ destination: ./_site - name: Patch HTML run: | cd _site && tree sudo ./patches/icons.sh - name: Upload artifact uses: actions/upload-pages-artifact@v1 deploy: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest needs: build steps: - name: Deploy to GitHub Pages id: deployment uses: actions/deploy-pages@v1