Merge branch 'master' into luca_joss/add-gaia-v20-to-ci

informalsystems · Oct 4, 2024 · d798f61 · d798f61
2 parents 525f21b + deb1a8b
commit d798f61
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/...gelog/unreleased/improvements/ibc-integration-test/4202-update-simd-versions.md b/...gelog/unreleased/improvements/ibc-integration-test/4202-update-simd-versions.md
@@ -0,0 +1,7 @@
+- Update the versions of the following `simd` running the integration tests in the CI:
+  * From `v6.3.0` to `v6.3.1`
+  * From `v7.4.0` to `v7.8.0`
+  * From `v8.3.1` to `v8.5.1`
+  * From `v9.0.0-beta.1` to `v9.0.0-rc.0`
+
+  ([\#4202](https://github.com/informalsystems/hermes/issues/4202))
diff --git a/flake.lock b/flake.lock