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

Update amici to v0.26.3-20-g8253a97d #388

Merged
merged 26 commits into from
Oct 19, 2024
Merged

Update amici to v0.26.3-20-g8253a97d #388

merged 26 commits into from
Oct 19, 2024

Conversation

dweindl
Copy link
Member

@dweindl dweindl commented Sep 25, 2024

Mysterious amici errors on GHA, specifically for Weber_BMC2015, not locally reproducible, remain AMICI-dev/AMICI#2491. They already occurred (at least) with amici v0.26.1.

@dweindl dweindl self-assigned this Sep 25, 2024
@dweindl dweindl changed the title Update amici to 0.26.2 Update amici to 0.26.3+ Oct 11, 2024
@dweindl dweindl force-pushed the update_amici branch 11 times, most recently from b7bf43c to 40b1ed6 Compare October 13, 2024 17:22
dweindl and others added 11 commits October 13, 2024 22:05
…ndl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "51a53d22"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "release_0.26.2"
  commit:   "51a53d22"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
…dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "d1668b20"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "ss_install"
  commit:   "d1668b20"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
…-force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "f5533ba1"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "f5533ba16a320aa968877112c2f6395f5d2c4741"
  commit:   "f5533ba1"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
This reverts commit cf2f362.
…-force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "bd05be94"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "bd05be94fb5557426542b0a6e4af76ee00a8ebad"
  commit:   "bd05be94"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
…12855b --force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "c11c51ee"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "c11c51ee1b2f8ed07677fcb47e81ac014e12855b"
  commit:   "c11c51ee"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
…-force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "ee2e0d21"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "ee2e0d2189e047558c8dc1a1d8fc171446ec4203"
  commit:   "ee2e0d21"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
…2fbe8e --force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "65ac883b"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "65ac883bd5ff0769181b0a1d1c313b4ada2fbe8e"
  commit:   "65ac883b"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
This reverts commit 5cdcd62.
…-force [email protected]:dweindl/AMICI.git deps/AMICI

subrepo:
  subdir:   "deps/AMICI"
  merged:   "8253a97d"
upstream:
  origin:   "[email protected]:dweindl/AMICI.git"
  branch:   "8253a97d413cbbcfec335fb50fd1355107804e9e"
  commit:   "8253a97d"
git-subrepo:
  version:  "0.4.6"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "110b9eb"
Copy link

@dweindl dweindl changed the title Update amici to 0.26.3+ Update amici to v0.26.3-20-g8253a97d Oct 19, 2024
@dweindl dweindl marked this pull request as ready for review October 19, 2024 08:15
@dweindl dweindl merged commit c76c7d3 into develop Oct 19, 2024
8 of 10 checks passed
@dweindl dweindl deleted the update_amici branch October 19, 2024 08:19
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.

1 participant