1 # .github/workflows/publish.yml

     2 

     3 name: Publish website

     4 on:

     5   workflow_dispatch:

     6   release:

     7     types: [released, prereleased]

     8 

     9 jobs:

    10