Merge pull request #661 from formal-land/guillaume-claret@fix-ci-2025…

…-02-16 ci: remove unused or too large JSON files
formal-land · Feb 16, 2025 · e2a979c · e2a979c
2 parents da24ef5 + 31702ae
commit e2a979c
Show file tree

Hide file tree

Showing 53 changed files with 9 additions and 708,615 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -104,8 +104,8 @@ jobs:
             cd context/interface
             cargo coq-of-rust
             touch src/lib.rs
-            cargo coq-of-rust
-            rsync -acv src/ ../../../../../CoqOfRust/revm/revm_context_interface/ --include='*/' --include='*.v' --exclude='*'
+            cargo coq-of-rust --with-json
+            rsync -acv src/ ../../../../../CoqOfRust/revm/revm_context_interface/ --include='*/' --include='*.v' --include='*.json' --exclude='*'
             cd ../..
             # interpreter
             cd interpreter
@@ -118,27 +118,24 @@ jobs:
             cd precompile
             cargo coq-of-rust
             touch src/lib.rs
-            cargo coq-of-rust
-            rsync -acv src/ ../../../../CoqOfRust/revm/revm_precompile/ --include='*/' --include='*.v' --exclude='*'
+            cargo coq-of-rust --with-json
+            rsync -acv src/ ../../../../CoqOfRust/revm/revm_precompile/ --include='*/' --include='*.v' --include='*.json' --exclude='*'
             cd ..
             # primitives
             cd primitives
             cargo coq-of-rust
             touch src/lib.rs
-            cargo coq-of-rust
-            rsync -acv src/ ../../../../CoqOfRust/revm/revm_primitives/ --include='*/' --include='*.v' --exclude='*'
+            cargo coq-of-rust --with-json
+            rsync -acv src/ ../../../../CoqOfRust/revm/revm_primitives/ --include='*/' --include='*.v' --include='*.json' --exclude='*'
             cd ..
             # specification
             cd specification
             cargo coq-of-rust
             touch src/lib.rs
-            cargo coq-of-rust
-            rsync -acv src/ ../../../../CoqOfRust/revm/revm_specification/ --include='*/' --include='*.v' --exclude='*'
+            cargo coq-of-rust --with-json
+            rsync -acv src/ ../../../../CoqOfRust/revm/revm_specification/ --include='*/' --include='*.v' --include='*.json' --exclude='*'
             cd ..
             cd ../../..
-            # These two files are very large
-            rm CoqOfRust/revm/revm_bytecode/opcode.json
-            rm CoqOfRust/revm/revm_interpreter/opcode.json
           endGroup
           startGroup "Translate Move Sui"
             cd third-party/move-sui

diff --git a/CoqOfRust/revm/.gitignore b/CoqOfRust/revm/.gitignore
@@ -0,0 +1 @@
+*.json
diff --git a/CoqOfRust/revm/revm_bytecode/bytecode.json b/CoqOfRust/revm/revm_bytecode/bytecode.json