Wenxuan Zhang
755b3dd9f8
chore: rename default branch ( #410 )
2024-12-16 22:35:07 +08:00
Tim
2d5f8f48f5
Meta: do not create release when there are no public changes ( #401 )
ci / build (ubuntu-22.04) (push) Failing after 1s
ci / build (macos-latest) (push) Has been cancelled
ci / build (ubuntu-20.04) (push) Has been cancelled
2024-11-04 10:17:59 +01:00
carlfriedrich
e6e3ba4ce5
Meta: GitHub tag action: add git log to output for debugging purposes
2022-11-24 15:00:59 +01:00
carlfriedrich
8e292f710b
Meta: GitHub tag action: improve regex for version matching
2022-11-24 15:00:12 +01:00
carlfriedrich
fb0b22890d
Meta: GitHub tag action: fix getting of HEAD tag
2022-11-24 14:59:06 +01:00
carlfriedrich
f3d9d62776
Meta: GitHub tag action: pass GitLab URL as an env variable
...
GitHub action variables are not available in called shell scripts. They
have to be explicitly passed from the YAML file. See:
https://github.com/orgs/community/discussions/27027
2022-11-24 14:55:49 +01:00
carlfriedrich
f0e9e4f748
Meta: Add GitHub tag action
...
The action is executed on every first day of a month. It checks whether
the current master is already tagged and, if not, creates a new release
tag.
2022-11-23 19:02:01 +01:00
carlfriedrich
eedf3ae890
Meta: Add GitHub release action
...
The action is executed on every tag and creates a GitHub release. The
release contains a .tar.gz asset and a changelog consisting of all
commit messages since the previous tag. Commits with a commit message
starting with "Meta" are excluded from the changelog.
2022-11-23 17:42:42 +01:00
