{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":605212739,"defaultBranch":"main","name":"properties","ownerLogin":"crytic","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-22T17:26:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48330002?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1710419198.0","currentOid":""},"activityList":{"items":[{"before":"61133a77e86955909482d04bdbd7536e41d8f35d","after":"f1ff61b8e90ce0c9ab138dfe23e80a8afa7f5e37","ref":"refs/heads/main","pushedAt":"2024-05-29T11:35:14.000Z","pushType":"pr_merge","commitsCount":28,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"Merge pull request #36 from crytic/dev-medusa\n\nInitial medusa support for the CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1776822675\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/36/hovercard\" href=\"https://github.com/crytic/properties/pull/36\">#36</a> from crytic/dev-medusa"}},{"before":"2dfdb56724aff524ca2ef60ffc8ae83a7fcfe5b6","after":"4f3ca42a1756f51e7187fdb4ff4368e0fdef7448","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T11:10:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"fixes in README and configs","shortMessageHtmlLink":"fixes in README and configs"}},{"before":"8911b575c6d15d366afd1be93a3bcd9586268648","after":"2dfdb56724aff524ca2ef60ffc8ae83a7fcfe5b6","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:48:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"fix medusa erc20 tests","shortMessageHtmlLink":"fix medusa erc20 tests"}},{"before":"e1cc265336785960b5f1152c148cdde58906ab93","after":"8911b575c6d15d366afd1be93a3bcd9586268648","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:41:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"6dbd704e7177b469c47edaeaf3b8895d0f796d3e","after":"e1cc265336785960b5f1152c148cdde58906ab93","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:37:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"9ea1ff306b060e475ec7409ca6f84e6543f35d14","after":"6dbd704e7177b469c47edaeaf3b8895d0f796d3e","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:17:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"9ffc36ee9097a27cb8c3ee7090959105dbcf95d1","after":"9ea1ff306b060e475ec7409ca6f84e6543f35d14","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:10:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"76577883d561b7f16b8d90cd53067ca07020ae46","after":"9ffc36ee9097a27cb8c3ee7090959105dbcf95d1","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:05:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"0b6fd4505ec1f989616e5c1b49fc36593ab873b4","after":"76577883d561b7f16b8d90cd53067ca07020ae46","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T09:00:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"05308f8d97395f1406a23a4269342e47a57aab69","after":"0b6fd4505ec1f989616e5c1b49fc36593ab873b4","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-29T08:55:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"test to debug","shortMessageHtmlLink":"test to debug"}},{"before":"d5adb02141972f08bb449a3b2fd8b53c74419ebe","after":"05308f8d97395f1406a23a4269342e47a57aab69","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-28T15:55:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"updated medusa config","shortMessageHtmlLink":"updated medusa config"}},{"before":"d237e2b9ab7960dc7881f4be2ce7e7b075b6004e","after":"d5adb02141972f08bb449a3b2fd8b53c74419ebe","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-28T15:44:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"updated README","shortMessageHtmlLink":"updated README"}},{"before":"f4828ee129f1c5bb6a60e0cc9f5593ce032656a1","after":"d237e2b9ab7960dc7881f4be2ce7e7b075b6004e","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-28T15:12:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"updated medusa config","shortMessageHtmlLink":"updated medusa config"}},{"before":"987c7db4ad891ddf15d4bce6fe871c4dc41268ee","after":"61133a77e86955909482d04bdbd7536e41d8f35d","ref":"refs/heads/main","pushedAt":"2024-05-28T14:31:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"Merge pull request #46 from aviggiano/patch-2\n\nUpdate ABDKMath64x64PropertyTests.sol","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1940256798\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/46/hovercard\" href=\"https://github.com/crytic/properties/pull/46\">#46</a> from aviggiano/patch-2"}},{"before":"db606c1b3d2413f1a01477efba513dcbd164b1df","after":"f4828ee129f1c5bb6a60e0cc9f5593ce032656a1","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-28T14:31:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"use target contracts command line","shortMessageHtmlLink":"use target contracts command line"}},{"before":"d8adacb3a7997363ac142a9690fe2f47eaa6d16b","after":"db606c1b3d2413f1a01477efba513dcbd164b1df","ref":"refs/heads/dev-medusa","pushedAt":"2024-05-28T14:21:24.000Z","pushType":"push","commitsCount":27,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"manual merge","shortMessageHtmlLink":"manual merge"}},{"before":"58fcb6fd856b1d9a9b970cb366ee841baafed6f2","after":"987c7db4ad891ddf15d4bce6fe871c4dc41268ee","ref":"refs/heads/main","pushedAt":"2024-05-28T13:46:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"Fixed hevm cheatcode link","shortMessageHtmlLink":"Fixed hevm cheatcode link"}},{"before":"4a328b8d2637a48ac9f7cb74549cc93eb073d2ff","after":"58fcb6fd856b1d9a9b970cb366ee841baafed6f2","ref":"refs/heads/main","pushedAt":"2024-04-05T20:47:03.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bsamuels453","name":"Benjamin Samuels","path":"/bsamuels453","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1222451?s=80&v=4"},"commit":{"message":"Merge pull request #55 from GianfrancoBazzani/patch-1\n\n:hammer: fix typo in Hevm.sol","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2227055337\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/55/hovercard\" href=\"https://github.com/crytic/properties/pull/55\">#55</a> from GianfrancoBazzani/patch-1"}},{"before":"2526765eedd9bda30c168cd271fa403ac72cb1a9","after":"4a328b8d2637a48ac9f7cb74549cc93eb073d2ff","ref":"refs/heads/main","pushedAt":"2024-03-25T21:04:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"glarregay-tob","name":"Guillermo Larregay","path":"/glarregay-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/115007237?s=80&v=4"},"commit":{"message":"Merge pull request #54 from aviggiano/patch-3\n\nFix typo in `deal` Hevm cheatcode","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206624775\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/54/hovercard\" href=\"https://github.com/crytic/properties/pull/54\">#54</a> from aviggiano/patch-3"}},{"before":"8e48eb6af45761804b0c41a97b807b9dba6615dc","after":null,"ref":"refs/heads/update-cheatcode","pushedAt":"2024-03-14T12:26:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"smonicas","name":"Simone","path":"/smonicas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79767264?s=80&v=4"}},{"before":"13a8724f688b201a771a5554fc917b73a818dd95","after":"2526765eedd9bda30c168cd271fa403ac72cb1a9","ref":"refs/heads/main","pushedAt":"2024-03-14T12:18:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"montyly","name":"Feist Josselin","path":"/montyly","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13798342?s=80&v=4"},"commit":{"message":"Merge pull request #53 from crytic/update-cheatcode\n\nUpdate hevm cheatcodes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2186138375\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/53/hovercard\" href=\"https://github.com/crytic/properties/pull/53\">#53</a> from crytic/update-cheatcode"}},{"before":null,"after":"8e48eb6af45761804b0c41a97b807b9dba6615dc","ref":"refs/heads/update-cheatcode","pushedAt":"2024-03-14T11:42:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smonicas","name":"Simone","path":"/smonicas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/79767264?s=80&v=4"},"commit":{"message":"Update cheatcodes","shortMessageHtmlLink":"Update cheatcodes"}},{"before":"e645e8c5474215d4dcad77079acefc6589a4b3e0","after":"13a8724f688b201a771a5554fc917b73a818dd95","ref":"refs/heads/main","pushedAt":"2023-11-05T16:45:09.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bsamuels453","name":"Benjamin Samuels","path":"/bsamuels453","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1222451?s=80&v=4"},"commit":{"message":"Merge pull request #48 from aviggiano/decimals\n\nFix TestERC20Token decimals type (uint256->uint8)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1977525295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/48/hovercard\" href=\"https://github.com/crytic/properties/pull/48\">#48</a> from aviggiano/decimals"}},{"before":"c25de701cc0e0def1bb175f024f7e7e0cb6f1575","after":"e645e8c5474215d4dcad77079acefc6589a4b3e0","ref":"refs/heads/main","pushedAt":"2023-09-28T11:45:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ggrieco-tob","name":"Gustavo Grieco","path":"/ggrieco-tob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31542053?s=80&v=4"},"commit":{"message":"Merge pull request #45 from aviggiano/fix-docs\n\nFix documentation for pow_test_distributive","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1916028005\" data-permission-text=\"Title is private\" data-url=\"https://github.com/crytic/properties/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/crytic/properties/pull/45/hovercard\" href=\"https://github.com/crytic/properties/pull/45\">#45</a> from aviggiano/fix-docs"}},{"before":"7d203659910ad3c05ed39bbc9f22f006a7334bf8","after":"f7d0766f2324763aaf08126a86896c2746fbfa2c","ref":"refs/heads/erc-20-allowance","pushedAt":"2023-09-08T14:18:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"broccolirob","name":"Broccolirob","path":"/broccolirob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6662639?s=80&v=4"},"commit":{"message":"Fix error message","shortMessageHtmlLink":"Fix error message"}},{"before":"e107c8a2c646522edae79aead5db26750a1cbea7","after":"7d203659910ad3c05ed39bbc9f22f006a7334bf8","ref":"refs/heads/erc-20-allowance","pushedAt":"2023-08-29T14:03:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"broccolirob","name":"Broccolirob","path":"/broccolirob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6662639?s=80&v=4"},"commit":{"message":"Update internal ERC-20 property to use internal references","shortMessageHtmlLink":"Update internal ERC-20 property to use internal references"}},{"before":null,"after":"e107c8a2c646522edae79aead5db26750a1cbea7","ref":"refs/heads/erc-20-allowance","pushedAt":"2023-08-29T05:52:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"broccolirob","name":"Broccolirob","path":"/broccolirob","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6662639?s=80&v=4"},"commit":{"message":"ERC-20 transferFrom greater than allowance not allowed","shortMessageHtmlLink":"ERC-20 transferFrom greater than allowance not allowed"}},{"before":"4d33a89ed251cc53183e107fc4da4cd7a6dd3079","after":"548c494f8aac0771eb543b75a45369203f57407c","ref":"refs/heads/dev-univ2-properties","pushedAt":"2023-07-07T15:06:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tuturu-tech","name":null,"path":"/tuturu-tech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9058533?s=80&v=4"},"commit":{"message":"added missing swap property","shortMessageHtmlLink":"added missing swap property"}},{"before":"3ad568924574d577b5a282f00244496097bf47cf","after":"4d33a89ed251cc53183e107fc4da4cd7a6dd3079","ref":"refs/heads/dev-univ2-properties","pushedAt":"2023-07-07T12:00:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tuturu-tech","name":null,"path":"/tuturu-tech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9058533?s=80&v=4"},"commit":{"message":"fix compiler error, add more preconditions","shortMessageHtmlLink":"fix compiler error, add more preconditions"}},{"before":"d469370bf8c415548f069c5a001f1c2d959e178a","after":"3ad568924574d577b5a282f00244496097bf47cf","ref":"refs/heads/dev-univ2-properties","pushedAt":"2023-07-07T09:02:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tuturu-tech","name":null,"path":"/tuturu-tech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9058533?s=80&v=4"},"commit":{"message":"initial router setup","shortMessageHtmlLink":"initial router setup"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOVQxMTozNToxNC4wMDAwMDBazwAAAARW3gvU","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0yOVQxMTozNToxNC4wMDAwMDBazwAAAARW3gvU","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0wN1QwOTowMjowNS4wMDAwMDBazwAAAANQsjBK"}},"title":"Activity · crytic/properties"}