Merge pull request #645 from formal-land/guillaume-claret@update-revm-bis

Guillaume claret@update revm bis

Author: clarus

.github/workflows/rust.yml

@@ -120,6 +120,13 @@ jobs:
             cargo coq-of-rust
             rsync -acv src/ ../../../../CoqOfRust/revm/translations/revm/ --include='*/' --include='*.v' --exclude='*'
             cd ..
+            # specification
+            cd specification
+            cargo coq-of-rust
+            touch src/lib.rs
+            cargo coq-of-rust
+            rsync -acv src/ ../../../../CoqOfRust/revm/translations/specification/ --include='*/' --include='*.v' --exclude='*'
+            cd ..
             cd ../../..
           endGroup
           startGroup "Translate Move Sui"