Skip to content
This repository has been archived by the owner on Dec 11, 2022. It is now read-only.

exponentiation incorrect (bp #75) #76

Merged
merged 2 commits into from
Mar 26, 2021
Merged

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Mar 26, 2021

This is an automatic backport of pull request #75 done by Mergify.

Cherry-pick of 991e763 has failed:

On branch mergify/bp/develop/pr-75
Your branch is up to date with 'origin/develop'.

You are currently cherry-picking commit 991e763.
  (all conflicts fixed: run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

nothing to commit, working tree clean

Cherry-pick of 87ee8e5 has failed:

On branch mergify/bp/develop/pr-75
Your branch is ahead of 'origin/develop' by 1 commit.
  (use "git push" to publish your local commits)

You are currently cherry-picking commit 87ee8e5.
  (all conflicts fixed: run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

nothing to commit, working tree clean

To fixup this pull request, you can check out it locally. See documentation: https://help.github.com/articles/checking-out-pull-requests-locally/


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.io/

@mergify mergify bot added the conflicts label Mar 26, 2021
@mergify mergify bot merged commit 6b7faed into develop Mar 26, 2021
@mergify mergify bot deleted the mergify/bp/develop/pr-75 branch March 26, 2021 03:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant