File tree 1 file changed +10
-9
lines changed
1 file changed +10
-9
lines changed Original file line number Diff line number Diff line change @@ -44,21 +44,22 @@ jobs:
44
44
working-directory : tests/ERC20/foundry
45
45
run : forge build --build-info
46
46
47
- - name : Compile ERC4646 Foundry example
48
- working-directory : tests/ERC4626/foundry
49
- run : forge build --build-info
50
-
51
- - name : Run Medusa for Internal ERC20 tests
52
- working-directory : tests/ERC20/foundry
53
- run : |
54
- cd tests/ERC20/foundry
55
- medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
47
+ # - name: Run Medusa for Internal ERC20 tests
48
+ # working-directory: tests/ERC20/foundry
49
+ # run: |
50
+ # ls
51
+ # medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
56
52
57
53
- name : Run Medusa for External ERC20 tests
58
54
working-directory : tests/ERC20/foundry
59
55
run : |
56
+ ls
60
57
medusa fuzz --target-contracts CryticERC20ExternalHarness --config medusa-config-ext.json
61
58
59
+ - name : Compile ERC4646 Foundry example
60
+ working-directory : tests/ERC4626/foundry
61
+ run : forge build --build-info
62
+
62
63
- name : Run Medusa for External ERC4626 tests
63
64
working-directory : tests/ERC4626/foundry
64
65
run : |
You can’t perform that action at this time.
0 commit comments