Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 11 additions & 4 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,20 +9,27 @@
# never published to a store. The server listens on 127.0.0.1:8787 unless
# given -addr.
#
# A pull request that changes this file builds everything and publishes
# nothing.
# It is also the repository's CI: every pull request and every push to main
# builds everything and publishes nothing, so a change that breaks a build
# or a unit test fails before it is merged rather than at the next tag. A
# failure on main opens an issue (failure-issue.yml).
name: Release

on:
push:
branches: [main]
tags: ['v*']
pull_request:
paths: ['.github/workflows/release.yml']
workflow_dispatch:

permissions:
contents: read

# A pull request's earlier run is superseded by its newest commit.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}

jobs:
android:
runs-on: ubuntu-latest
Expand Down Expand Up @@ -71,7 +78,7 @@ jobs:
with:
path: dist
merge-multiple: true
- run: sha256sum * > SHA256SUMS
- run: sha256sum -- * > SHA256SUMS
working-directory: dist
- run: gh release create "$GITHUB_REF_NAME" dist/* --repo "$GITHUB_REPOSITORY" --title "Morpho Match $GITHUB_REF_NAME" --generate-notes
env:
Expand Down
Loading