{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":73861563,"defaultBranch":"master","name":"plutus","ownerLogin":"IntersectMBO","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-11-15T22:38:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/138229448?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726882675.0","currentOid":""},"activityList":{"items":[{"before":"d5e7ebad0ac16bacf9b3ccd1a49b7c2f39e7c16d","after":"6ffde34d2b1a7bb7f2add3379b4b9efd5d86e64a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-21T03:20:25.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":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 3d42b87a9ca77036dc4f24e2d57824870bd3ea50","shortMessageHtmlLink":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 3d…"}},{"before":"5387579f9a9560a6438addf6339212da5dab569f","after":null,"ref":"refs/heads/effectfully/errors/test-well-typed-no-structural-errors","pushedAt":"2024-09-21T01:37:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"}},{"before":"e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701","after":"3d42b87a9ca77036dc4f24e2d57824870bd3ea50","ref":"refs/heads/master","pushedAt":"2024-09-21T01:37:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error (#6443)\n\nTest that evaluation of a well-typed term doesn't fail with a structural error\r\n\r\nIn theory, this is supposed to conclude the investigation on the \"runtime type system\" for UPLC. In practice unfortunately, PIR generators aren't very helpful here as per the recent Slack discussion (I'll reflect that in some GitHub issue later), plus the compiler being too slow doesn't help either. So this PR is more of a proof of concept than an actually helpful test, but better than nothing I suppose.\r\n\r\nResolves #6150.","shortMessageHtmlLink":"[Errors] Test that evaluation of a well-typed term doesn't fail with …"}},{"before":"55426b74c620628a999712b8f6a8ac341ba7ac80","after":"5387579f9a9560a6438addf6339212da5dab569f","ref":"refs/heads/effectfully/errors/test-well-typed-no-structural-errors","pushedAt":"2024-09-20T23:34:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error","shortMessageHtmlLink":"[Errors] Test that evaluation of a well-typed term doesn't fail with …"}},{"before":"2358ba49704c8fa2fafc4c90f5d84fb7aecdf58a","after":"55426b74c620628a999712b8f6a8ac341ba7ac80","ref":"refs/heads/effectfully/errors/test-well-typed-no-structural-errors","pushedAt":"2024-09-20T22:47:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error","shortMessageHtmlLink":"[Errors] Test that evaluation of a well-typed term doesn't fail with …"}},{"before":"ff7b0d4826f22dd18bc388befc98fce758eb1d4e","after":"2358ba49704c8fa2fafc4c90f5d84fb7aecdf58a","ref":"refs/heads/effectfully/errors/test-well-typed-no-structural-errors","pushedAt":"2024-09-20T22:46:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error","shortMessageHtmlLink":"[Errors] Test that evaluation of a well-typed term doesn't fail with …"}},{"before":"d1b0a97437eac719383177b5c352cb117527f82b","after":"ff7b0d4826f22dd18bc388befc98fce758eb1d4e","ref":"refs/heads/effectfully/errors/test-well-typed-no-structural-errors","pushedAt":"2024-09-20T22:38:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Errors] Test that evaluation of a well-typed term doesn't fail with a structural error","shortMessageHtmlLink":"[Errors] Test that evaluation of a well-typed term doesn't fail with …"}},{"before":"a66d36d4aeeeb9bf3700f9304cefb3e7649e4a40","after":"3bf2ff92ef236fcbe53924e404b2164da3d7490c","ref":"refs/heads/ramsay-t/u-force-delay","pushedAt":"2024-09-20T17:21:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ramsay-t","name":"Ramsay Taylor","path":"/ramsay-t","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3315162?s=80&v=4"},"commit":{"message":"Make Roman feel better :)","shortMessageHtmlLink":"Make Roman feel better :)"}},{"before":"1b744d38d9e80c16ea702b7639dc92cf39a307c3","after":"2c19966da6ab4a06b354da30d3c17f8cca8dc368","ref":"refs/heads/ramsay-t/u-float-delay","pushedAt":"2024-09-20T16:41:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"Remove 'Terminating' from 'translation?'","shortMessageHtmlLink":"Remove 'Terminating' from 'translation?'"}},{"before":null,"after":"3b643be9057396e1944bf388082028631532d0a4","ref":"refs/heads/effectfully/metatheory/remove-TERMINATING-from-translation-question-mark","pushedAt":"2024-09-20T16:33:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Metatheory] Remove 'Terminating' from 'translation?'","shortMessageHtmlLink":"[Metatheory] Remove 'Terminating' from 'translation?'"}},{"before":"1e979c079f18036d073df80029104ea9a8a2c62f","after":"a66d36d4aeeeb9bf3700f9304cefb3e7649e4a40","ref":"refs/heads/ramsay-t/u-force-delay","pushedAt":"2024-09-20T14:10:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ramsay-t","name":"Ramsay Taylor","path":"/ramsay-t","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3315162?s=80&v=4"},"commit":{"message":"With interesting test case","shortMessageHtmlLink":"With interesting test case"}},{"before":"56e6c79ee37f7cc5bbfde66f303ee457462f7593","after":"1e979c079f18036d073df80029104ea9a8a2c62f","ref":"refs/heads/ramsay-t/u-force-delay","pushedAt":"2024-09-20T13:53:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ramsay-t","name":"Ramsay Taylor","path":"/ramsay-t","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3315162?s=80&v=4"},"commit":{"message":"Zipper based FD","shortMessageHtmlLink":"Zipper based FD"}},{"before":"2eb327dbe040c2f5231cb023765d9fadc5ee99c7","after":"1b744d38d9e80c16ea702b7639dc92cf39a307c3","ref":"refs/heads/ramsay-t/u-float-delay","pushedAt":"2024-09-20T09:44:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ramsay-t","name":"Ramsay Taylor","path":"/ramsay-t","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3315162?s=80&v=4"},"commit":{"message":"Now with added Purity...","shortMessageHtmlLink":"Now with added Purity..."}},{"before":"bb5fd6e589c0af7fa7ca75435299747aa2f1f3b0","after":"2eb327dbe040c2f5231cb023765d9fadc5ee99c7","ref":"refs/heads/ramsay-t/u-float-delay","pushedAt":"2024-09-20T09:37:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ramsay-t","name":"Ramsay Taylor","path":"/ramsay-t","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3315162?s=80&v=4"},"commit":{"message":"Now uses Purity, althought that is 'stub code' at the moment.","shortMessageHtmlLink":"Now uses Purity, althought that is 'stub code' at the moment."}},{"before":"e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701","after":"d277e3991d1126edb4addb0f3f57453df92b5803","ref":"refs/heads/effectfully/refactoring/tweak-Data-AssocMap","pushedAt":"2024-09-19T22:04:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Refactoring] Tweak 'PlutusTx.Data.AssocMap'","shortMessageHtmlLink":"[Refactoring] Tweak 'PlutusTx.Data.AssocMap'"}},{"before":null,"after":"e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701","ref":"refs/heads/effectfully/refactoring/tweak-Data-AssocMap","pushedAt":"2024-09-19T22:02:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"Use OPAQUE pragma on stringToBuiltinByteString and stringToBuiltinString (#6501)","shortMessageHtmlLink":"Use OPAQUE pragma on stringToBuiltinByteString and stringToBuiltinStr…"}},{"before":null,"after":"38b1487f837053698436689a02ab2978938fd141","ref":"refs/heads/effectfully/refactoring/replace-NOINLINE-with-OPAQUE","pushedAt":"2024-09-19T19:06:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"effectfully","name":null,"path":"/effectfully","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10480926?s=80&v=4"},"commit":{"message":"[Refactoring] Replace 'NOINLINE' with 'OPAQUE'","shortMessageHtmlLink":"[Refactoring] Replace 'NOINLINE' with 'OPAQUE'"}},{"before":"865b686f84c2ef774abd1bb53fc460c086f573f6","after":"d5e7ebad0ac16bacf9b3ccd1a49b7c2f39e7c16d","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T18:47:38.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":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701","shortMessageHtmlLink":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for e9…"}},{"before":null,"after":"13df402035f6b98fa3c513b30b626bf1c8aa9f1e","ref":"refs/heads/zliu41/platform","pushedAt":"2024-09-19T17:42:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zliu41","name":"Ziyang Liu","path":"/zliu41","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6342538?s=80&v=4"},"commit":{"message":"Remove the Plutus Platform page","shortMessageHtmlLink":"Remove the Plutus Platform page"}},{"before":"b8b7215b6c24f59ac60ae6074a114f6ff9740dd0","after":"865b686f84c2ef774abd1bb53fc460c086f573f6","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T17:42:38.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":"Deploying to gh-pages from @ IntersectMBO/plutus@e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ e94d73c 🚀"}},{"before":"957fd30ca1430c478baa6e1d4f20c58cae510462","after":"b8b7215b6c24f59ac60ae6074a114f6ff9740dd0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T17:41:54.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":"Deploying to gh-pages from @ IntersectMBO/plutus@e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ e94d73c 🚀"}},{"before":"3724d3b49d4e8ecbe6d62dc72c4fd10eba3f49d0","after":"957fd30ca1430c478baa6e1d4f20c58cae510462","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T17:40:28.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":"Deploying to gh-pages from @ IntersectMBO/plutus@e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ e94d73c 🚀"}},{"before":"26be2204d0372450b3f36016ffacf013c5851ddd","after":"3724d3b49d4e8ecbe6d62dc72c4fd10eba3f49d0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T17:09:09.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":"Deploying to gh-pages from @ IntersectMBO/plutus@e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ e94d73c 🚀"}},{"before":"8b93ea00cf52f3adf71ff63caaa89e3b2665036a","after":null,"ref":"refs/heads/zliu41/st","pushedAt":"2024-09-19T17:05:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zliu41","name":"Ziyang Liu","path":"/zliu41","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6342538?s=80&v=4"}},{"before":"7178ee75c14b1784e768552bf5ea03f8d8c2d717","after":"e94d73c657dd8a5e14f8812fd34c1cdd6cf2d701","ref":"refs/heads/master","pushedAt":"2024-09-19T17:05:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zliu41","name":"Ziyang Liu","path":"/zliu41","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6342538?s=80&v=4"},"commit":{"message":"Use OPAQUE pragma on stringToBuiltinByteString and stringToBuiltinString (#6501)","shortMessageHtmlLink":"Use OPAQUE pragma on stringToBuiltinByteString and stringToBuiltinStr…"}},{"before":"251a74366907ed2f447fb0499e0f87087e2debd0","after":"26be2204d0372450b3f36016ffacf013c5851ddd","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T16:32: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":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 7178ee75c14b1784e768552bf5ea03f8d8c2d717","shortMessageHtmlLink":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 71…"}},{"before":"6c41dd39c1747d79ed56c1877936b7d67324818f","after":"8b93ea00cf52f3adf71ff63caaa89e3b2665036a","ref":"refs/heads/zliu41/st","pushedAt":"2024-09-19T14:56:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zliu41","name":"Ziyang Liu","path":"/zliu41","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6342538?s=80&v=4"},"commit":{"message":"Address comments","shortMessageHtmlLink":"Address comments"}},{"before":"0afe74eaadd2f17b6dac1d99b6f8702066c6edfc","after":"251a74366907ed2f447fb0499e0f87087e2debd0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T14:49:49.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":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 280f81d2791eac12433e82548fd70268b7ce4ebf","shortMessageHtmlLink":"add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 28…"}},{"before":"f440c0bce9c0355457729c2a81f49abc2070945e","after":"6c41dd39c1747d79ed56c1877936b7d67324818f","ref":"refs/heads/zliu41/st","pushedAt":"2024-09-19T14:41:04.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"zliu41","name":"Ziyang Liu","path":"/zliu41","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6342538?s=80&v=4"},"commit":{"message":"Address comments","shortMessageHtmlLink":"Address comments"}},{"before":"ebb897a225c06df9fbc621badfa36b38225d13be","after":"0afe74eaadd2f17b6dac1d99b6f8702066c6edfc","ref":"refs/heads/gh-pages","pushedAt":"2024-09-19T14:28:24.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":"Deploying to gh-pages from @ IntersectMBO/plutus@7178ee75c14b1784e768552bf5ea03f8d8c2d717 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ 7178ee7 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwMzoyMDoyNS4wMDAwMDBazwAAAAS8g4hZ","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQwMzoyMDoyNS4wMDAwMDBazwAAAAS8g4hZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNDoyODoyNC4wMDAwMDBazwAAAAS69_Up"}},"title":"Activity · IntersectMBO/plutus"}