Skip to content

Commit

Permalink
Update main.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
MBunel authored May 21, 2024
1 parent 8692c3d commit 95ea677
Showing 1 changed file with 3 additions and 7 deletions.
10 changes: 3 additions & 7 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,7 @@ on:
push:
branches:
- main

env:
WEBLORG_ENV: prod

# Allows you to run this workflow maanually from the Actions tab
workflow_dispatch:


# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
Expand Down Expand Up @@ -46,6 +40,8 @@ jobs:
uses: actions/checkout@v4
- name: Build
run: guix shell -m manifest.scm -- emacs -Q --batch -l install.el -l publish.el
env:
WEBLORG_ENV: prod
working-directory: ${{ github.workspace }}
- name: Setup Pages
uses: actions/configure-pages@v5
Expand Down

0 comments on commit 95ea677

Please sign in to comment.