Commit Graph

5 Commits

Author SHA1 Message Date
Davide De Rosa fc68c674a5
Address issues with release notes in workflow (#284)
* In release workflow, infer release notes from CHANGELOG

* Retain links in GitHub release notes
2023-04-07 12:08:55 +02:00
Davide De Rosa 9962401d74 Fix some issues in scripts
- Always use bash for consistent script behavior

- Replace deprecated set-output in GitHub workflows
2022-10-17 13:39:54 +02:00
Davide De Rosa a4831feb0f Unify release notes
Discard platform.
2022-10-06 22:31:16 +02:00
Davide De Rosa 09e5edeead Fix scripts in release workflow 2022-09-23 23:07:12 +02:00
Davide De Rosa ab2aa03c62 Optimize release workflow
- Enforce 1h keychain lock timeout

- Disable xcpretty again for better debugging

- Drop redundant names of boilerplate actions

- Limit scope of release env variables

- Split release pull and tagging

- Generate markdown release notes in standalone script
2021-12-08 16:10:27 +01:00