Translated using Weblate (Chinese (Simplified Han script)) #139
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Automatic release | |
on: | |
# Action is triggered on every commit to the master branch. | |
push: | |
branches: | |
- master | |
jobs: | |
release: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
fetch-depth: 0 | |
submodules: true | |
- name: Build manifest | |
run: ./buildtools/publish.js manifest.json | |
# Create new release tagged as latest, and overwrite last one. | |
# https://github.com/marvinpinto/actions/tree/master/packages/automatic-releases | |
- uses: "marvinpinto/action-automatic-releases@latest" | |
with: | |
repo_token: "${{ secrets.GITHUB_TOKEN }}" | |
automatic_release_tag: "latest" | |
prerelease: false | |
title: "Automatic release" | |
files: manifest.json | |
# Would like a version of manifest.json that is usable from browsers | |
# for grist-static. CORS wildcard is not set on releases, but is set | |
# on github pages. Also jsdelivr can mirror branches, but not releases. | |
- name: Make a release branch that includes manifest.json | |
run: | | |
git config user.name "Paul's Grist Bot" | |
git config user.email "<[email protected]>" | |
git add -f manifest.json | |
git commit -m "add manifest.json" -a | |
git push --set-upstream origin HEAD:release -f |