|
|
@@ -272,6 +272,9 @@ jobs:
|
|
|
## Prepare and create release
|
|
|
#########################################################################################
|
|
|
release:
|
|
|
+ on:
|
|
|
+ release:
|
|
|
+ types: [released]
|
|
|
runs-on: ubuntu-latest
|
|
|
needs: [pack-for-update, pack-for-manual_setup, pack-for-remote_setup]
|
|
|
if: startsWith(github.ref, 'refs/tags/')
|
|
|
@@ -380,7 +383,10 @@ jobs:
|
|
|
## Update the Web Installer on a release
|
|
|
#########################################################################################
|
|
|
# Make sure to also update update-webinstaller.yml!
|
|
|
- update-web-installer:
|
|
|
+ update-web-installer:
|
|
|
+ on:
|
|
|
+ release:
|
|
|
+ types: [released]
|
|
|
needs: [release]
|
|
|
environment:
|
|
|
name: github-pages
|