Skip to content

Add a search box on the navigation bar #363

Add a search box on the navigation bar

Add a search box on the navigation bar #363

Workflow file for this run

name: website
on:
pull_request:
concurrency:
group: website-build-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- run: sudo apt update
- run: sudo apt install -y hugo
- run: make html