You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Not really a bug in the SDK for our users, it's more of a bug for us developers working on the SDK.
We want the dependabot PRs to be merged automatically, if the relevant CI actions succeed. Right now we need to manually run make tidy-all before merging a dependabot PR, which adds friction in our development process.
The text was updated successfully, but these errors were encountered:
Note
Not really a bug in the SDK for our users, it's more of a bug for us developers working on the SDK.
We want the dependabot PRs to be merged automatically, if the relevant CI actions succeed. Right now we need to manually run
make tidy-all
before merging a dependabot PR, which adds friction in our development process.The text was updated successfully, but these errors were encountered: