Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pull latest from savi-lang/base-standard-library #8

Merged
merged 4 commits into from
Jan 31, 2023

Conversation

savi-lang-bot
Copy link

Automated PR to merge latest savi-lang/base-standard-library into main.

This PR was created by the savi-lang/action-pull-from-base GitHub Action.

This avoids a need to update for every release and is more common
in the GitHub Actions ecosystem.
This workflow is responsible for automating the creation of a new release.
As an input, the workflow takes a version tag to apply to the latest commit.
The version tag name will also be the release's name in GitHub.
Release notes will auto-generated by GitHub based on Pull Requests history.

With some minor modification (see comments in the job definition below),
this workflow can also build release binaries for all supported platforms,
and package them up as tarballs attached as assets to the release in GitHub.
This is not relevant for all libraries, because many libraries do not have
any executable binary that is relevant to build, so it is disabled by default,
but for those libraries that have one or more application binaries to build,
all you need to do is specify the binary manifest's name and enable that step.

The workflow is triggered by workflow dispatch, which means to run it you
need to press the "Run Workflow" button on the Actions page for this workflow,
then enter the required inputs when prompted to do so.
It can also be triggered via the GitHub API if desired.
@jemc jemc merged commit febf7a2 into main Jan 31, 2023
@jemc jemc deleted the pull-from-base/c0ece23 branch January 31, 2023 18:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants