.github/workflows/publish-website.yaml
changeset 77 79cf271b59ee
child 78 9cf28ee2a8e9
equal deleted inserted replaced
75:bcfc8238b4f6 77:79cf271b59ee
       
     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