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

Bump 3rd_party/marian-dev from 199201e to 8ceb051 #234

Closed

Conversation

dependabot[bot]
Copy link

@dependabot dependabot bot commented on behalf of github May 3, 2023

Bumps 3rd_party/marian-dev from 199201e to 8ceb051.

Commits
  • 8ceb051 Merge pull request #98 from browsermt/updatespm
  • 8a1519f Update spm
  • fe1fd73 Update components so that it compiles with modern compilers
  • 69e27d2 Fix compilation on march x86
  • 4b30c26 Merge pull request #96 from browsermt/arm-backend-fix
  • 348c283 update catch
  • d033f06 Add an abort case
  • 193a407 Merge branch 'master' into arm-backend-fix
  • ff67393 gcc-7 not available
  • f4067e1 update download link
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [3rd_party/marian-dev](https://github.com/browsermt/marian-dev) from `199201e` to `8ceb051`.
- [Release notes](https://github.com/browsermt/marian-dev/releases)
- [Commits](browsermt/marian-dev@199201e...8ceb051)

---
updated-dependencies:
- dependency-name: 3rd_party/marian-dev
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label May 3, 2023
@dependabot @github
Copy link
Author

dependabot bot commented on behalf of github May 9, 2023

Superseded by #237.

@dependabot dependabot bot closed this May 9, 2023
@dependabot dependabot bot deleted the dependabot/submodules/3rd_party/marian-dev-8ceb051 branch May 9, 2023 21:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

0 participants