Skip to content

Update logos in banner #117

Update logos in banner

Update logos in banner #117

Workflow file for this run

# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
# separate terms of service, privacy policy, and support
# documentation.
# This workflow will download a prebuilt Ruby version, install dependencies and run tests with Rake
# For more information see: https://github.com/marketplace/actions/setup-ruby-jruby-and-truffleruby
name: Site deployment
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up Ruby
# To automatically get bug fixes and new Ruby versions for ruby/setup-ruby,
# change this to (see https://github.com/ruby/setup-ruby#versioning):
uses: ruby/setup-ruby@v1
# uses: ruby/setup-ruby@ec106b438a1ff6ff109590de34ddc62c540232e0
with:
ruby-version: 3.3
- name: Install dependencies
run: bundle install
- name: Build site
run: ./maint/build.bash
- name: Expose git commit data
uses: rlespinasse/git-commit-data-action@v1.x
- name: Deploy site
if: github.ref == 'refs/heads/master'
uses: JamesIves/github-pages-deploy-action@3.7.1
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GIT_CONFIG_NAME: ${{ env.GIT_COMMIT_AUTHOR_NAME }}
GIT_CONFIG_EMAIL: ${{ env.GIT_COMMIT_AUTHOR_EMAIL }}
BRANCH: gh-pages # The branch the action should deploy to.
FOLDER: _site # The folder the action should deploy.
CLEAN: true # Automatically remove deleted files from the deploy branch