chore(deps): update actors bundle to v16.0.0-dev (#12751)

Ref: https://github.com/filecoin-project/builtin-actors/releases/tag/v16.0.0-dev
filecoin-project · Dec 4, 2024 · 1f51140 · 1f51140
1 parent 65230de
commit 1f51140
Show file tree

Hide file tree

Showing 3 changed files with 135 additions and 126 deletions.
diff --git a/build/actors/pack.sh b/build/actors/pack.sh
@@ -20,6 +20,15 @@ else
     RELEASE_OVERRIDES=("${@:3}")
 fi
 
+if [[ ! "$VERSION" =~ ^v?[0-9]+$ ]]; then
+    echo "Error: VERSION must be an integer (got: ${VERSION})" >&2
+    exit 1
+fi
+if [[ ! "$VERSION" =~ ^v ]]; then
+    VERSION="v${VERSION}"
+fi
+
+
 echo "Downloading bundles for actors version ${VERSION} release ${RELEASE}"
 echo "With release overrides ${RELEASE_OVERRIDES[*]}"
 

diff --git a/build/actors/v16.tar.zst b/build/actors/v16.tar.zst