{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":511140824,"defaultBranch":"master","name":"formal-ledger-specifications","ownerLogin":"IntersectMBO","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-06T13:06:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/138229448?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726489254.0","currentOid":""},"activityList":{"items":[{"before":"e0439763c39ab28f1e271cc06c63565041d92167","after":"5d959f6848076d2025e056e708c3003ebaaa0234","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T14:48:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 5316dee4ffe012c55498123ffe2b93cf1ef1cdf0","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/5316dee4ffe012c55498123ffe2b93cf1ef1cdf0/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/5316dee4ffe012c55498123ffe2b93cf1ef1cdf0\"><tt>5316dee</tt></a>"}},{"before":"10e986cad0276a7ff4b9692d906ff39d1d26fdc1","after":"a34986e45d6c0a62c2c0cdbdd797e71c14812292","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T14:41:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"817369ce58de0ef6ee24539040324a12aef97a70","after":"e0439763c39ab28f1e271cc06c63565041d92167","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T14:06:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 39a6b81c04d0b114e064b3f877b3603b30314ba6","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/39a6b81c04d0b114e064b3f877b3603b30314ba6/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/39a6b81c04d0b114e064b3f877b3603b30314ba6\"><tt>39a6b81</tt></a>"}},{"before":"e35ffb5792e5b6e1eca428f28bc85e411e0fa35d","after":"817369ce58de0ef6ee24539040324a12aef97a70","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T14:03:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 22c0a322f38a79b1822ff1c7382fc601a4adcebe","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/22c0a322f38a79b1822ff1c7382fc601a4adcebe/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/22c0a322f38a79b1822ff1c7382fc601a4adcebe\"><tt>22c0a32</tt></a>"}},{"before":"d28375f4a20861dcde28a56b3ebf83b3cff403c9","after":"e35ffb5792e5b6e1eca428f28bc85e411e0fa35d","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T14:00:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for e6ed1eb49b81a6e22fe63d04ae7d01ed6a786fcf","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/e6ed1eb49b81a6e22fe63d04ae7d01ed6a786fcf/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/e6ed1eb49b81a6e22fe63d04ae7d01ed6a786fcf\"><tt>e6ed1eb</tt></a>"}},{"before":"aceb1ad9843a05223d2347111606dfd5903d03f1","after":"10e986cad0276a7ff4b9692d906ff39d1d26fdc1","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T13:59:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"b42b530a387d41994902f318a45148b9f6bc501e","after":"aceb1ad9843a05223d2347111606dfd5903d03f1","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T13:56:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"35ac71bd138b725dbe401836d6f81c885de74895","after":"b42b530a387d41994902f318a45148b9f6bc501e","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T13:53:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"f064584b1a31b8d7e991288c88fd8f33986b9ffc","after":"d28375f4a20861dcde28a56b3ebf83b3cff403c9","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T13:28:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 5427fb3e04c060febeef8ae403b4975e6042e470","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/5427fb3e04c060febeef8ae403b4975e6042e470/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/5427fb3e04c060febeef8ae403b4975e6042e470\"><tt>5427fb3</tt></a>"}},{"before":"4f54229d472258e64404dd26c055d8df2b87bdcd","after":"35ac71bd138b725dbe401836d6f81c885de74895","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T13:21:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"7b8eac84bbb29b048c539198d827d6b05beadeb2","after":"f064584b1a31b8d7e991288c88fd8f33986b9ffc","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T13:11:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 319c79ae8e750ab5bad2463d7957ec08de05fd95","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/319c79ae8e750ab5bad2463d7957ec08de05fd95/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/319c79ae8e750ab5bad2463d7957ec08de05fd95\"><tt>319c79a</tt></a>"}},{"before":"ee11a75f46e21cae153a8777c87ba35554aac730","after":"4f54229d472258e64404dd26c055d8df2b87bdcd","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T13:04:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"ecdbc766b63405898e2561725af11db6d8e0ac4c","after":"7b8eac84bbb29b048c539198d827d6b05beadeb2","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T12:37:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for b3c9480d9b33f0bb3149d001a4c269d5a9842604","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/b3c9480d9b33f0bb3149d001a4c269d5a9842604/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/b3c9480d9b33f0bb3149d001a4c269d5a9842604\"><tt>b3c9480</tt></a>"}},{"before":"42e501d1bc98a7cb1fbc4f7bb630ef18c6b7998c","after":"ee11a75f46e21cae153a8777c87ba35554aac730","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T12:30:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"93008a70a6d6e16ad78c20335ee074e00799af6c","after":"436dac9f6445884dbeaa132e936692da84fa17c9","ref":"refs/heads/gh-pages","pushedAt":"2024-09-16T12:29:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updated for 76ad4e9ba6ff84d7181d74e5e2dfc797ea45af4e","shortMessageHtmlLink":"Updated for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/76ad4e9ba6ff84d7181d74e5e2dfc797ea45af4e/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/76ad4e9ba6ff84d7181d74e5e2dfc797ea45af4e\"><tt>76ad4e9</tt></a>"}},{"before":"51723207245b73ce666d9bc1df4197ae861ab221","after":"42e501d1bc98a7cb1fbc4f7bb630ef18c6b7998c","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T12:24:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"35c572fb2a3ac8c68421aea55b0d9e44f7d055ee","after":"51723207245b73ce666d9bc1df4197ae861ab221","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T12:23:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"0b55f22897994c8ead70de3a619220b0caf75ed5","after":null,"ref":"refs/heads/ulf/gen-haskell-types","pushedAt":"2024-09-16T12:20:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"}},{"before":"22a10458de96cf7b2bb4452270f90b3abb043482","after":"76ad4e9ba6ff84d7181d74e5e2dfc797ea45af4e","ref":"refs/heads/master","pushedAt":"2024-09-16T12:20:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"},"commit":{"message":"Use reflection to generate Haskell types (#488)\n\n* first draft of generating Haskell version of types\r\n\r\n* start on tying everything together\r\n\r\n* macro to generate all the marshalling for a type in one go\r\n\r\n* generate HsTypes for records\r\n\r\n* wip: generate haskell types\r\n\r\n* Turn off verbosity for inlining tactic\r\n\r\n* Clean up and fixes of Haskell type generation\r\n\r\n* Start on generating Ledger types\r\n\r\n* Auto generating all the ledger types\r\n\r\n* Better control over names of generated Haskell code\r\n\r\n* Use GHC Rationals\r\n\r\n* Hack for RoseTree-like recursive types\r\n\r\n* More field prefixes\r\n\r\n* Fix import in Lib.hs\r\n\r\n* Tests pass!\r\n\r\n* Macro to generate type aliases for HsTypes\r\n\r\n* Fix minor things\r\n\r\n* Remove `Ledger.Foreign.LedgerTypes`\r\n\r\n* Cleanup\r\n\r\n* Fix Haskell compilation\r\n\r\n---------\r\n\r\nCo-authored-by: whatisRT <andre.knispel@iohk.io>","shortMessageHtmlLink":"Use reflection to generate Haskell types (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2377668293\" data-permission-text=\"Title is private\" data-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/issues/488\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/IntersectMBO/formal-ledger-specifications/pull/488/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/pull/488\">#488</a>)"}},{"before":"d573910ca0f2fc6dfe03cefe4c542f8ef242ea2e","after":"ecdbc766b63405898e2561725af11db6d8e0ac4c","ref":"refs/heads/jj/hashing-algorithm-MAlonzo","pushedAt":"2024-09-16T12:19:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 55bde0965fdc17c1964436031e2e7246b874a0c0","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/55bde0965fdc17c1964436031e2e7246b874a0c0/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/55bde0965fdc17c1964436031e2e7246b874a0c0\"><tt>55bde09</tt></a>"}},{"before":"6bd6aa4295d90df934112565f140954a881f8c50","after":"0b55f22897994c8ead70de3a619220b0caf75ed5","ref":"refs/heads/ulf/gen-haskell-types","pushedAt":"2024-09-16T12:13:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"Fix Haskell compilation","shortMessageHtmlLink":"Fix Haskell compilation"}},{"before":"06313a68a34837fe84520e19ff204c0c3aa71d08","after":"35c572fb2a3ac8c68421aea55b0d9e44f7d055ee","ref":"refs/heads/jj/hashing-algorithm","pushedAt":"2024-09-16T12:12:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Soupstraw","name":"Joosep Jääger","path":"/Soupstraw","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6863341?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"c5e2c1d407a7e21dca375e960458e632de4dcc56","after":"9b3b174017a5a9e8cc78bb54800e17796a7b4dd0","ref":"refs/heads/polina-nested-txs","pushedAt":"2024-09-13T20:30:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"polinavino","name":null,"path":"/polinavino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19255455?s=80&v=4"},"commit":{"message":"BatchData","shortMessageHtmlLink":"BatchData"}},{"before":"cba2f92c0f008b60489c5816d9693dcb37c30158","after":"aa4cd23c1f25cdd861af6ef092af350964322301","ref":"refs/heads/467-prove-preservation-of-value-for-chain-MAlonzo","pushedAt":"2024-09-13T16:01:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 4df0e71e4d59c5e2772c34ba4778354044fd436c","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/4df0e71e4d59c5e2772c34ba4778354044fd436c/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/4df0e71e4d59c5e2772c34ba4778354044fd436c\"><tt>4df0e71</tt></a>"}},{"before":"168729b94439d9c13f1ffcd323f8d8c96df571b2","after":"761c2711fc29d11d900234c090e96c56b3697d7f","ref":"refs/heads/467-prove-preservation-of-value-for-chain","pushedAt":"2024-09-13T15:44:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"williamdemeo","name":"William DeMeo","path":"/williamdemeo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3528228?s=80&v=4"},"commit":{"message":"Merge branch 'master' into 467-prove-preservation-of-value-for-chain","shortMessageHtmlLink":"Merge branch 'master' into 467-prove-preservation-of-value-for-chain"}},{"before":"5833171afa2eafca897953429f1f28a2eb31b51e","after":"93008a70a6d6e16ad78c20335ee074e00799af6c","ref":"refs/heads/gh-pages","pushedAt":"2024-09-13T15:41:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Updated for 22a10458de96cf7b2bb4452270f90b3abb043482","shortMessageHtmlLink":"Updated for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/22a10458de96cf7b2bb4452270f90b3abb043482/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/22a10458de96cf7b2bb4452270f90b3abb043482\"><tt>22a1045</tt></a>"}},{"before":"5ffdc954197a9141d411bd8ad7604009b3fba739","after":null,"ref":"refs/heads/andre/update-security-MAlonzo","pushedAt":"2024-09-13T15:33:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"}},{"before":"229c6c49227b89d9fb517203cd1d63e4bbfe939a","after":null,"ref":"refs/heads/andre/update-security","pushedAt":"2024-09-13T15:32:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"}},{"before":"257c998aa0bbbaf476085f7a636726958b023683","after":"22a10458de96cf7b2bb4452270f90b3abb043482","ref":"refs/heads/master","pushedAt":"2024-09-13T15:32:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"WhatisRT","name":"Andre Knispel","path":"/WhatisRT","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/93242?s=80&v=4"},"commit":{"message":"Update SECURITY.md (#569)","shortMessageHtmlLink":"Update SECURITY.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2524965511\" data-permission-text=\"Title is private\" data-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/issues/569\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/IntersectMBO/formal-ledger-specifications/pull/569/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/pull/569\">#569</a>)"}},{"before":"f388a90bd14e9e71f4c767e6c44142c731ed6dbd","after":"20523644bc7d3090a90d74a43e87b4686ee89a02","ref":"refs/heads/537-reference-script-limitations-are-incomplete-MAlonzo","pushedAt":"2024-09-13T15:29:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Generate code for 49451628eaf6db117e668ad302dc54a80aa3433f","shortMessageHtmlLink":"Generate code for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/49451628eaf6db117e668ad302dc54a80aa3433f/hovercard\" href=\"https://github.com/IntersectMBO/formal-ledger-specifications/commit/49451628eaf6db117e668ad302dc54a80aa3433f\"><tt>4945162</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0ODoxNy4wMDAwMDBazwAAAAS3jXpj","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNDo0ODoxNy4wMDAwMDBazwAAAAS3jXpj","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QxNToyOToxNy4wMDAwMDBazwAAAAS1o3F0"}},"title":"Activity · IntersectMBO/formal-ledger-specifications"}