update github actions

.github/workflows/main.yml

@@ -6,7 +6,7 @@ name: CI
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
-    branches: [ master, act-amm ]
+    branches: [ master, hevm-transactions ]
   pull_request:
     branches: [ master ]
 
@@ -15,6 +15,23 @@ on:
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
+  runevm:
+    name: run hevm tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
+      - uses: haskell/actions/setup@v1
+        with:
+          ghc-version: '9.4.5' # Exact version of ghc to use
+          # cabal-version: 'latest'. Omitted, but defaults to 'latest'
+          enable-stack: true
+          stack-version: 'latest'
+      - run: |
+          cd evm
+          stack test
   runhaskell:
     name: run tests
     runs-on: ubuntu-latest # or macOS-latest, or windows-latest

evm/README.md

@@ -0,0 +1,5 @@
+# Open-games HEVM integration
+
+This project integrates open games with HEVM, an execution environement for EVM bytecode.
+
+This allows the game-theoretic analysis of smart contracts