Skip to content

Actions: crytic/properties

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed hevm cheatcode link Lint #78: Commit 987c7db pushed by ggrieco-tob
May 28, 2024 13:46 40s main
main
May 28, 2024 13:46 40s
Fixed hevm cheatcode link Test examples #88: Commit 987c7db pushed by ggrieco-tob
May 28, 2024 13:46 1m 55s main
main
May 28, 2024 13:46 1m 55s
Merge pull request #55 from GianfrancoBazzani/patch-1 Lint #77: Commit 58fcb6f pushed by bsamuels453
April 5, 2024 20:47 37s main
main
April 5, 2024 20:47 37s
Merge pull request #55 from GianfrancoBazzani/patch-1 Test examples #87: Commit 58fcb6f pushed by bsamuels453
April 5, 2024 20:47 2m 6s main
main
April 5, 2024 20:47 2m 6s
🔨 fix typo in Hevm.sol Test examples #86: Pull request #55 opened by GianfrancoBazzani
April 5, 2024 05:09 1m 59s GianfrancoBazzani:patch-1
GianfrancoBazzani:patch-1
April 5, 2024 05:09 1m 59s
🔨 fix typo in Hevm.sol Lint #76: Pull request #55 opened by GianfrancoBazzani
April 5, 2024 05:09 1m 5s GianfrancoBazzani:patch-1
GianfrancoBazzani:patch-1
April 5, 2024 05:09 1m 5s
Merge pull request #54 from aviggiano/patch-3 Lint #75: Commit 4a328b8 pushed by glarregay-tob
March 25, 2024 21:04 1m 3s main
main
March 25, 2024 21:04 1m 3s
Merge pull request #54 from aviggiano/patch-3 Test examples #85: Commit 4a328b8 pushed by glarregay-tob
March 25, 2024 21:04 2m 14s main
main
March 25, 2024 21:04 2m 14s
Fix typo in deal Hevm cheatcode Test examples #84: Pull request #54 opened by aviggiano
March 25, 2024 20:18 1m 57s aviggiano:patch-3
aviggiano:patch-3
March 25, 2024 20:18 1m 57s
Fix typo in deal Hevm cheatcode Lint #74: Pull request #54 opened by aviggiano
March 25, 2024 20:18 52s aviggiano:patch-3
aviggiano:patch-3
March 25, 2024 20:18 52s
Merge pull request #53 from crytic/update-cheatcode Lint #73: Commit 2526765 pushed by montyly
March 14, 2024 12:18 59s main
main
March 14, 2024 12:18 59s
Merge pull request #53 from crytic/update-cheatcode Test examples #83: Commit 2526765 pushed by montyly
March 14, 2024 12:18 2m 13s main
main
March 14, 2024 12:18 2m 13s
Update hevm cheatcodes Lint #72: Pull request #53 opened by smonicas
March 14, 2024 11:43 47s update-cheatcode
update-cheatcode
March 14, 2024 11:43 47s
Update hevm cheatcodes Test examples #82: Pull request #53 opened by smonicas
March 14, 2024 11:43 2m 6s update-cheatcode
update-cheatcode
March 14, 2024 11:43 2m 6s
Merge pull request #48 from aviggiano/decimals Lint #71: Commit 13a8724 pushed by bsamuels453
November 5, 2023 16:45 1m 3s main
main
November 5, 2023 16:45 1m 3s
Merge pull request #48 from aviggiano/decimals Test examples #81: Commit 13a8724 pushed by bsamuels453
November 5, 2023 16:45 3m 18s main
main
November 5, 2023 16:45 3m 18s
Fix TestERC20Token decimals type (uint256->uint8) Lint #70: Pull request #48 opened by aviggiano
November 4, 2023 21:51 1m 6s aviggiano:decimals
aviggiano:decimals
November 4, 2023 21:51 1m 6s
Fix TestERC20Token decimals type (uint256->uint8) Test examples #80: Pull request #48 opened by aviggiano
November 4, 2023 21:51 2m 34s aviggiano:decimals
aviggiano:decimals
November 4, 2023 21:51 2m 34s
Update ABDKMath64x64PropertyTests.sol Lint #69: Pull request #46 opened by aviggiano
October 12, 2023 15:35 51s aviggiano:patch-2
aviggiano:patch-2
October 12, 2023 15:35 51s
Update ABDKMath64x64PropertyTests.sol Test examples #79: Pull request #46 opened by aviggiano
October 12, 2023 15:35 4m 28s aviggiano:patch-2
aviggiano:patch-2
October 12, 2023 15:35 4m 28s
Merge pull request #45 from aviggiano/fix-docs Lint #68: Commit e645e8c pushed by ggrieco-tob
September 28, 2023 11:45 1m 1s main
main
September 28, 2023 11:45 1m 1s
Merge pull request #45 from aviggiano/fix-docs Test examples #78: Commit e645e8c pushed by ggrieco-tob
September 28, 2023 11:45 3m 3s main
main
September 28, 2023 11:45 3m 3s
Fix documentation for pow_test_distributive Lint #67: Pull request #45 opened by aviggiano
September 27, 2023 17:30 1m 3s aviggiano:fix-docs
aviggiano:fix-docs
September 27, 2023 17:30 1m 3s
Fix documentation for pow_test_distributive Test examples #77: Pull request #45 opened by aviggiano
September 27, 2023 17:30 4m 0s aviggiano:fix-docs
aviggiano:fix-docs
September 27, 2023 17:30 4m 0s
Create generic User to proxy arbitrary requests Lint #66: Pull request #44 opened by aviggiano
September 10, 2023 22:47 45s aviggiano:feat/user
aviggiano:feat/user
September 10, 2023 22:47 45s