Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 1, 2022

PR auto-generated by a GitHub workflow.

@github-actions github-actions bot added the improvement This could be better label Oct 1, 2022
@kayabaNerve
Copy link
Member

Force pushed to rebase and include the ability to manually run its workflow file, yet my force push also triggered the workflow anyways.

@kayabaNerve
Copy link
Member

This is theoretically merge-able whenever ink issues a new release. use-ink/ink#1418 is the PR resolving it.

@kayabaNerve
Copy link
Member

Rebased on develop and force pushed to said rebase.

@kayabaNerve kayabaNerve merged commit 595b2da into develop Oct 22, 2022
@kayabaNerve kayabaNerve deleted the nightly-2022-10 branch October 22, 2022 02:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

improvement This could be better

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants