Skip to content

Actions: crytic/properties

Actions

Test examples using Medusa

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
medusa.yaml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump prettier from 3.6.2 to 3.7.3 Test examples using Medusa #114: Pull request #92 opened by dependabot bot
3m 5s dependabot/npm_and_yarn/prettier-3.7.3
dependabot/npm_and_yarn/prettier-3.7.3
3m 5s
Bump hardhat from 3.0.15 to 3.0.16 Test examples using Medusa #113: Pull request #91 opened by dependabot bot
2m 49s dependabot/npm_and_yarn/hardhat-3.0.16
dependabot/npm_and_yarn/hardhat-3.0.16
2m 49s
Merge pull request #90 from crytic/fix-remappings-oz Test examples using Medusa #112: Commit 5ea14b8 pushed by nisedo
2m 56s main
main
2m 56s
Fix remappings bug introduced in PR#82 Test examples using Medusa #111: Pull request #90 opened by nisedo
2m 47s fix-remappings-oz
fix-remappings-oz
2m 47s
Merge pull request #82 from crytic/fix-build-and-remappings Test examples using Medusa #110: Commit c793cd9 pushed by nisedo
2m 58s main
main
2m 58s
Dev multisig wallet properties Test examples using Medusa #109: Pull request #89 opened by omarinuwa
Action required omarinuwa:dev-multisig-wallet-properties
omarinuwa:dev-multisig-wallet-properties
Action required
Feature/uniswap v2 properties Test examples using Medusa #108: Pull request #88 opened by omarinuwa
Action required omarinuwa:feature/uniswap-v2-properties
omarinuwa:feature/uniswap-v2-properties
Action required
Add concentrated liquidity AMM properties (Uniswap V3 style) Test examples using Medusa #107: Pull request #86 opened by omarinuwa
Action required omarinuwa:feature/concentrated-liquidity-properties
omarinuwa:feature/concentrated-liquidity-properties
Action required
Add ERC20 edge case testing helper Test examples using Medusa #106: Pull request #85 opened by omarinuwa
Action required omarinuwa:feature/erc20-edge-case-helper
omarinuwa:feature/erc20-edge-case-helper
Action required
Fix build configuration for Foundry and Hardhat v3 Test examples using Medusa #105: Pull request #82 synchronize by nisedo
2m 52s fix-build-and-remappings
fix-build-and-remappings
2m 52s
Feature: Add ERC1155 multi-token standard properties Test examples using Medusa #104: Pull request #84 opened by omarinuwa
Action required omarinuwa:feature/add-erc1155-properties
omarinuwa:feature/add-erc1155-properties
Action required
Standardize all properties Test examples using Medusa #103: Pull request #83 opened by omarinuwa
Action required omarinuwa:standardize-all-properties
omarinuwa:standardize-all-properties
Action required
Add property documentation standards and standardize ERC20BasicProper… Test examples using Medusa #102: Pull request #66 synchronize by omarinuwa
Action required omarinuwa:standardize-erc20-basic-properties
omarinuwa:standardize-erc20-basic-properties
Action required
Add forge-std compatible assertion aliases for easier integration Test examples using Medusa #101: Pull request #67 synchronize by omarinuwa
Action required omarinuwa:forge-std-compatibility
omarinuwa:forge-std-compatibility
Action required
Fix build configuration for Foundry and Hardhat v3 Test examples using Medusa #100: Pull request #82 opened by nisedo
2m 47s fix-build-and-remappings
fix-build-and-remappings
2m 47s
Merge pull request #81 from nisedo/fix-prettierignore Test examples using Medusa #99: Commit ec3a504 pushed by nisedo
3m 9s main
main
3m 9s
Add .prettierignore to exclude external dependencies Test examples using Medusa #98: Pull request #81 opened by nisedo
2m 52s nisedo:fix-prettierignore
nisedo:fix-prettierignore
2m 52s
Merge pull request #65 from nisedo/dev-rename-util-files-to-match-con… Test examples using Medusa #97: Commit a180645 pushed by nisedo
3m 0s main
main
3m 0s
Fix #43: Rename util files to match contract names Test examples using Medusa #96: Pull request #65 synchronize by nisedo
2m 53s nisedo:dev-rename-util-files-to-match-contracts
nisedo:dev-rename-util-files-to-match-contracts
2m 53s
Merge pull request #61 from nisedo/fix/erc721-burnable-external-tests Test examples using Medusa #95: Commit ea832b9 pushed by nisedo
2m 51s main
main
2m 51s
Merge pull request #62 from nisedo/fix/issue-56-remove-usedid Test examples using Medusa #94: Commit 5ec3210 pushed by nisedo
2m 53s main
main
2m 53s
Merge pull request #77 from crytic/dependabot/npm_and_yarn/openzeppel… Test examples using Medusa #93: Commit 1d14bfe pushed by nisedo
2m 46s main
main
2m 46s
Merge pull request #79 from crytic/dependabot/npm_and_yarn/solmate-6.8.0 Test examples using Medusa #92: Commit 294b1e0 pushed by nisedo
3m 1s main
main
3m 1s
Bump solmate from 6.6.1 to 6.8.0 Test examples using Medusa #91: Pull request #79 synchronize by dependabot bot
3m 0s dependabot/npm_and_yarn/solmate-6.8.0
dependabot/npm_and_yarn/solmate-6.8.0
3m 0s
Merge pull request #80 from crytic/dependabot/npm_and_yarn/hardhat-3.… Test examples using Medusa #90: Commit 27a5aee pushed by nisedo
2m 47s main
main
2m 47s