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 #5

Merged
merged 2 commits into from
Apr 2, 2022

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.

jemc added 2 commits April 1, 2022 10:50
This workflow is responsible for helping a library repository keep
its manifest(s) continuously up to date with the latest Savi dependencies.

If the manifest(s) are found to be changed by the update, a pull request
will be opened with the changes, allowing the maintainer to pull them in.

The workflow is triggered daily, and can also be manually triggered.
@jemc jemc merged commit 877cd80 into main Apr 2, 2022
@jemc jemc deleted the pull-from-base/885c785 branch April 2, 2022 13:45
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