Skip to content

Actions: crytic/properties

Actions

Test examples using Echidna

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna.yaml
91 workflow runs
91 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add build CI, remappings validation, and ERC721 Medusa coverage Test examples using Echidna #130: Pull request #107 synchronize by nisedo
1m 46s dev-add-ci-build-and-medusa-coverage
dev-add-ci-build-and-medusa-coverage
1m 46s
Add build CI, remappings validation, and ERC721 Medusa coverage Test examples using Echidna #129: Pull request #107 opened by nisedo
51s dev-add-ci-build-and-medusa-coverage
dev-add-ci-build-and-medusa-coverage
51s
Bump hardhat from 3.0.15 to 3.1.9 Test examples using Echidna #128: Pull request #106 opened by dependabot Bot
43s dependabot/npm_and_yarn/hardhat-3.1.9
dependabot/npm_and_yarn/hardhat-3.1.9
43s
Bump hardhat from 3.0.15 to 3.1.8 Test examples using Echidna #127: Pull request #105 opened by dependabot Bot
47s dependabot/npm_and_yarn/hardhat-3.1.8
dependabot/npm_and_yarn/hardhat-3.1.8
47s
Bump hardhat from 3.0.15 to 3.1.6 Test examples using Echidna #126: Pull request #104 opened by dependabot Bot
49s dependabot/npm_and_yarn/hardhat-3.1.6
dependabot/npm_and_yarn/hardhat-3.1.6
49s
Bump prettier from 3.6.2 to 3.8.1 Test examples using Echidna #125: Pull request #103 opened by dependabot Bot
35s dependabot/npm_and_yarn/prettier-3.8.1
dependabot/npm_and_yarn/prettier-3.8.1
35s
Bump hardhat from 3.0.15 to 3.1.5 Test examples using Echidna #124: Pull request #102 opened by dependabot Bot
48s dependabot/npm_and_yarn/hardhat-3.1.5
dependabot/npm_and_yarn/hardhat-3.1.5
48s
Bump prettier from 3.6.2 to 3.8.0 Test examples using Echidna #123: Pull request #101 opened by dependabot Bot
56s dependabot/npm_and_yarn/prettier-3.8.0
dependabot/npm_and_yarn/prettier-3.8.0
56s
Bump hardhat from 3.0.15 to 3.1.4 Test examples using Echidna #122: Pull request #100 opened by dependabot Bot
1m 3s dependabot/npm_and_yarn/hardhat-3.1.4
dependabot/npm_and_yarn/hardhat-3.1.4
1m 3s
Bump hardhat from 3.0.15 to 3.1.3 Test examples using Echidna #121: Pull request #99 opened by dependabot Bot
53s dependabot/npm_and_yarn/hardhat-3.1.3
dependabot/npm_and_yarn/hardhat-3.1.3
53s
Bump hardhat from 3.0.15 to 3.1.2 Test examples using Echidna #120: Pull request #98 opened by dependabot Bot
1m 6s dependabot/npm_and_yarn/hardhat-3.1.2
dependabot/npm_and_yarn/hardhat-3.1.2
1m 6s
Bump hardhat from 3.0.15 to 3.1.1 Test examples using Echidna #119: Pull request #97 opened by dependabot Bot
57s dependabot/npm_and_yarn/hardhat-3.1.1
dependabot/npm_and_yarn/hardhat-3.1.1
57s
Bump prettier-plugin-solidity from 2.2.0 to 2.2.1 Test examples using Echidna #118: Pull request #96 opened by dependabot Bot
1m 0s dependabot/npm_and_yarn/prettier-plugin-solidity-2.2.1
dependabot/npm_and_yarn/prettier-plugin-solidity-2.2.1
1m 0s
Bump hardhat from 3.0.15 to 3.1.0 Test examples using Echidna #117: Pull request #95 opened by dependabot Bot
1m 34s dependabot/npm_and_yarn/hardhat-3.1.0
dependabot/npm_and_yarn/hardhat-3.1.0
1m 34s
Bump hardhat from 3.0.15 to 3.0.17 Test examples using Echidna #116: Pull request #94 opened by dependabot Bot
1m 19s dependabot/npm_and_yarn/hardhat-3.0.17
dependabot/npm_and_yarn/hardhat-3.0.17
1m 19s
Bump prettier from 3.6.2 to 3.7.4 Test examples using Echidna #115: Pull request #93 opened by dependabot Bot
1m 14s dependabot/npm_and_yarn/prettier-3.7.4
dependabot/npm_and_yarn/prettier-3.7.4
1m 14s
Bump prettier from 3.6.2 to 3.7.3 Test examples using Echidna #114: Pull request #92 opened by dependabot Bot
1m 27s dependabot/npm_and_yarn/prettier-3.7.3
dependabot/npm_and_yarn/prettier-3.7.3
1m 27s
Bump hardhat from 3.0.15 to 3.0.16 Test examples using Echidna #113: Pull request #91 opened by dependabot Bot
1m 16s dependabot/npm_and_yarn/hardhat-3.0.16
dependabot/npm_and_yarn/hardhat-3.0.16
1m 16s
Merge pull request #90 from crytic/fix-remappings-oz Test examples using Echidna #112: Commit 5ea14b8 pushed by nisedo
1m 27s main
main
1m 27s
Fix remappings bug introduced in PR#82 Test examples using Echidna #111: Pull request #90 opened by nisedo
1m 27s fix-remappings-oz
fix-remappings-oz
1m 27s
Merge pull request #82 from crytic/fix-build-and-remappings Test examples using Echidna #110: Commit c793cd9 pushed by nisedo
1m 23s main
main
1m 23s
Fix build configuration for Foundry and Hardhat v3 Test examples using Echidna #105: Pull request #82 synchronize by nisedo
1m 16s fix-build-and-remappings
fix-build-and-remappings
1m 16s
Fix build configuration for Foundry and Hardhat v3 Test examples using Echidna #100: Pull request #82 opened by nisedo
1m 19s fix-build-and-remappings
fix-build-and-remappings
1m 19s
Merge pull request #81 from nisedo/fix-prettierignore Test examples using Echidna #99: Commit ec3a504 pushed by nisedo
1m 19s main
main
1m 19s
Add .prettierignore to exclude external dependencies Test examples using Echidna #98: Pull request #81 opened by nisedo
1m 28s nisedo:fix-prettierignore
nisedo:fix-prettierignore
1m 28s