Skip to content

Merge pull request #40 from svenfeld/remove_jenkins_file #8

Merge pull request #40 from svenfeld/remove_jenkins_file

Merge pull request #40 from svenfeld/remove_jenkins_file #8

Workflow file for this run

name: Hugo build
on:
push:
branches:
- master
pull_request:
jobs:
deploy:
runs-on: ubuntu-22.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v3
with:
submodules: true # Fetch Hugo themes (true OR recursive)
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod
- name: Setup Hugo
uses: peaceiris/actions-hugo@v2
with:
hugo-version: '0.91.2'
# extended: true
- name: Build
run: hugo --minify
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
personal_token: ${{ secrets.HUGO_TOKEN }}
external_repository: eclipse-cognicrypt/cognicrypt-website
publish_branch: main # default: gh-pages
publish_dir: ./public
user_name: 'github-actions[bot]'
user_email: 'github-actions[bot]@users.noreply.github.com'
full_commit_message: Website build. Run number ${{github.run_number}}