Merge branch 'main' into 2024-05-07-bump-meta

rainlanguage · May 13, 2024 · 917080e · 917080e
2 parents 7632823 + 2d8f797
commit 917080e
Show file tree

Hide file tree

Showing 17 changed files with 483 additions and 374 deletions.
diff --git a/.github/workflows/rainix.yaml b/.github/workflows/rainix.yaml
@@ -43,8 +43,6 @@ jobs:
         working-directory: lib/rain.interpreter
       - run: nix develop --command rainix-rs-prelude
         working-directory: lib/rain.interpreter
-      - run: nix develop --command i9r-prelude
-        working-directory: lib/rain.interpreter
       - run: nix develop --command rainix-sol-prelude
         working-directory: lib/rain.metadata
 

diff --git a/.gitmodules b/.gitmodules
@@ -19,9 +19,6 @@
 [submodule "lib/rain.solmem"]
 	path = lib/rain.solmem
 	url = https://github.com/rainprotocol/rain.solmem
-[submodule "lib/rain.intorastring"]
-	path = lib/rain.intorastring
-	url = https://github.com/rainlanguage/rain.intorastring
 [submodule "lib/openzeppelin-contracts"]
 	path = lib/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts