{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":208101559,"defaultBranch":"develop","name":"nuscr","ownerLogin":"nuscr","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-12T16:59:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/55251193?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1691160779.0","currentOid":""},"activityList":{"items":[{"before":"ce5151e01075a03b434b7c0bcf8704d78d55a1b0","after":"2c2a54639768f5910a84503945d81b8574bc3c81","ref":"refs/heads/gh-pages","pushedAt":"2023-09-20T09:08:49.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 @ nuscr/nuscr@ba4c7b2513f40c8c1c39ff5a448c4295d463dd13 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/ba4c7b2513f40c8c1c39ff5a448c4295d463dd13/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/ba4c7b2513f40c8c1c39ff5a448c4295d463dd13\"><tt>ba4c7b2</tt></a> 🚀"}},{"before":"291eecbbe47f4277995330f65f6c3114d8c5df2f","after":"ba4c7b2513f40c8c1c39ff5a448c4295d463dd13","ref":"refs/heads/develop","pushedAt":"2023-09-20T08:35:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Fix mysterious test failures","shortMessageHtmlLink":"Fix mysterious test failures"}},{"before":"b1b37f0ba545157249ff20aa68cc2581f8dcf49b","after":"ce5151e01075a03b434b7c0bcf8704d78d55a1b0","ref":"refs/heads/gh-pages","pushedAt":"2023-09-20T00:45:44.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 @ nuscr/nuscr@291eecbbe47f4277995330f65f6c3114d8c5df2f 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/291eecbbe47f4277995330f65f6c3114d8c5df2f/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/291eecbbe47f4277995330f65f6c3114d8c5df2f\"><tt>291eecb</tt></a> 🚀"}},{"before":"7be22d104f6c17fe1138572a06210ffeba8eb50a","after":"291eecbbe47f4277995330f65f6c3114d8c5df2f","ref":"refs/heads/develop","pushedAt":"2023-09-20T00:16:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Upgrade ocamlformat","shortMessageHtmlLink":"Upgrade ocamlformat"}},{"before":"692e807fbbc73714642ec6a63f2c0d3ab01799c7","after":"cd480ee958183fe5e288ec1815f050d6a736a4a9","ref":"refs/heads/nested-protocol","pushedAt":"2023-08-05T15:43:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Added comment","shortMessageHtmlLink":"Added comment"}},{"before":"6e115ff08d1806b6fecb98bcf0e8d8e304a959fe","after":"b1b37f0ba545157249ff20aa68cc2581f8dcf49b","ref":"refs/heads/gh-pages","pushedAt":"2023-08-04T15:20:46.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 @ nuscr/nuscr@7be22d104f6c17fe1138572a06210ffeba8eb50a 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/7be22d104f6c17fe1138572a06210ffeba8eb50a/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/7be22d104f6c17fe1138572a06210ffeba8eb50a\"><tt>7be22d1</tt></a> 🚀"}},{"before":"82a623b831eeb102bbebbca427fb73621dd552da","after":"6e115ff08d1806b6fecb98bcf0e8d8e304a959fe","ref":"refs/heads/gh-pages","pushedAt":"2023-08-04T15:19: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 @ nuscr/nuscr@03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421\"><tt>03bf2c6</tt></a> 🚀"}},{"before":"03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421","after":"7be22d104f6c17fe1138572a06210ffeba8eb50a","ref":"refs/heads/develop","pushedAt":"2023-08-04T14:55:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Rename master to release","shortMessageHtmlLink":"Rename master to release"}},{"before":"2fa9c487bb555dc6f4b0fed1f935a7d2adbae32c","after":null,"ref":"refs/heads/master","pushedAt":"2023-08-04T14:52:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"}},{"before":null,"after":"2fa9c487bb555dc6f4b0fed1f935a7d2adbae32c","ref":"refs/heads/release","pushedAt":"2023-08-04T14:52:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Update ocaml version lower bound","shortMessageHtmlLink":"Update ocaml version lower bound"}},{"before":"03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421","after":null,"ref":"refs/heads/fix-refinement-progres","pushedAt":"2023-08-04T14:48:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"}},{"before":"56b594c594880309468b01329438f1e2827d06ee","after":"03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421","ref":"refs/heads/develop","pushedAt":"2023-08-04T14:48:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Fix missing cases of refinement progress check\n\nWe have neglected in the past the singleton case of the progress check,\nnamely when there is no choice. This commit adds back the missing check\nby considering message tranmission as a singleton choice properly.","shortMessageHtmlLink":"Fix missing cases of refinement progress check"}},{"before":null,"after":"03bf2c65d6960f5c1d691e3cdf4e65d4d7be0421","ref":"refs/heads/fix-refinement-progres","pushedAt":"2023-08-04T11:33:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Fix missing cases of refinement progress check\n\nWe have neglected in the past the singleton case of the progress check,\nnamely when there is no choice. This commit adds back the missing check\nby considering message tranmission as a singleton choice properly.","shortMessageHtmlLink":"Fix missing cases of refinement progress check"}},{"before":"9ed4a9dca979d5f8ec8c2ae7280e9896f1c001fa","after":"82a623b831eeb102bbebbca427fb73621dd552da","ref":"refs/heads/gh-pages","pushedAt":"2023-07-31T22:42:51.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 @ nuscr/nuscr@56b594c594880309468b01329438f1e2827d06ee 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/56b594c594880309468b01329438f1e2827d06ee/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/56b594c594880309468b01329438f1e2827d06ee\"><tt>56b594c</tt></a> 🚀"}},{"before":"2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8","after":"56b594c594880309468b01329438f1e2827d06ee","ref":"refs/heads/develop","pushedAt":"2023-07-31T22:12:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Add missing parenthesis when printing refinements","shortMessageHtmlLink":"Add missing parenthesis when printing refinements"}},{"before":"e409136d3f0471835fbcf0de80bd328919f62800","after":"9ed4a9dca979d5f8ec8c2ae7280e9896f1c001fa","ref":"refs/heads/gh-pages","pushedAt":"2023-07-30T18:20:03.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 @ nuscr/nuscr@2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8\"><tt>2bf170f</tt></a> 🚀"}},{"before":"2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8","after":null,"ref":"refs/heads/monadic-ocaml-for-callbacks","pushedAt":"2023-07-30T17:57:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"}},{"before":"ac9d9621d080308c6824bb1d6ec02b6a63fef099","after":"2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8","ref":"refs/heads/develop","pushedAt":"2023-07-30T17:57:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"codegen: Make callbacks module type also monadic","shortMessageHtmlLink":"codegen: Make callbacks module type also monadic"}},{"before":null,"after":"2bf170fcb2e514f3e4e4cf940174893aa4a0f5c8","ref":"refs/heads/monadic-ocaml-for-callbacks","pushedAt":"2023-07-30T15:47:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"codegen: Make callbacks module type also monadic","shortMessageHtmlLink":"codegen: Make callbacks module type also monadic"}},{"before":"e85fcd2f8717bcd0bae7c3e5827126a725e13088","after":"692e807fbbc73714642ec6a63f2c0d3ab01799c7","ref":"refs/heads/nested-protocol","pushedAt":"2023-07-26T21:33:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Added comment","shortMessageHtmlLink":"Added comment"}},{"before":null,"after":"e85fcd2f8717bcd0bae7c3e5827126a725e13088","ref":"refs/heads/nested-protocol","pushedAt":"2023-07-25T22:55:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Added comment","shortMessageHtmlLink":"Added comment"}},{"before":"acc40cbd08014ccf32ec8f841407defd6a18bc31","after":"e409136d3f0471835fbcf0de80bd328919f62800","ref":"refs/heads/gh-pages","pushedAt":"2023-07-24T23:20:21.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 @ nuscr/nuscr@ac9d9621d080308c6824bb1d6ec02b6a63fef099 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/ac9d9621d080308c6824bb1d6ec02b6a63fef099/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/ac9d9621d080308c6824bb1d6ec02b6a63fef099\"><tt>ac9d962</tt></a> 🚀"}},{"before":"5707920a32867b56430c6214aa3075faf793c8b0","after":"ac9d9621d080308c6824bb1d6ec02b6a63fef099","ref":"refs/heads/develop","pushedAt":"2023-07-21T13:12:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Upgrade ocamlformat to 0.26.0","shortMessageHtmlLink":"Upgrade ocamlformat to 0.26.0"}},{"before":"43466b636b48515ce5dd342961d8410e9fdc769b","after":"acc40cbd08014ccf32ec8f841407defd6a18bc31","ref":"refs/heads/gh-pages","pushedAt":"2023-06-21T00:28:09.254Z","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 @ nuscr/nuscr@5707920a32867b56430c6214aa3075faf793c8b0 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/5707920a32867b56430c6214aa3075faf793c8b0/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/5707920a32867b56430c6214aa3075faf793c8b0\"><tt>5707920</tt></a> 🚀"}},{"before":"4306d5694d8e0902b2bf75dfa795d02efd27bc91","after":null,"ref":"refs/heads/fix-base","pushedAt":"2023-06-21T00:00:19.352Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"}},{"before":"080cc3ed2ba4df370afdf12c688b6e61d4aee36c","after":"5707920a32867b56430c6214aa3075faf793c8b0","ref":"refs/heads/develop","pushedAt":"2023-06-21T00:00:19.352Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Fix deprecation error regarding Caml","shortMessageHtmlLink":"Fix deprecation error regarding Caml"}},{"before":"5392277f5d270b0bcd058e281e7dd67aa95fba14","after":"080cc3ed2ba4df370afdf12c688b6e61d4aee36c","ref":"refs/heads/develop","pushedAt":"2023-06-20T23:25:05.383Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Bump OCaml version in CI","shortMessageHtmlLink":"Bump OCaml version in CI"}},{"before":null,"after":"4306d5694d8e0902b2bf75dfa795d02efd27bc91","ref":"refs/heads/fix-base","pushedAt":"2023-06-20T23:23:28.358Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Fix deprecation error regarding Caml","shortMessageHtmlLink":"Fix deprecation error regarding Caml"}},{"before":"7a43f07542b5be15373af067cc492f4d1fe02fa5","after":"43466b636b48515ce5dd342961d8410e9fdc769b","ref":"refs/heads/gh-pages","pushedAt":"2023-03-10T15:29:07.260Z","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 @ nuscr/nuscr@5392277f5d270b0bcd058e281e7dd67aa95fba14 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/nuscr/nuscr/commit/5392277f5d270b0bcd058e281e7dd67aa95fba14/hovercard\" href=\"https://github.com/nuscr/nuscr/commit/5392277f5d270b0bcd058e281e7dd67aa95fba14\"><tt>5392277</tt></a> 🚀"}},{"before":"29bc9ddc79816313ba7e06a82ab6ed1a4bde7a13","after":"5392277f5d270b0bcd058e281e7dd67aa95fba14","ref":"refs/heads/develop","pushedAt":"2023-03-10T14:55:26.661Z","pushType":"push","commitsCount":1,"pusher":{"login":"fangyi-zhou","name":"Fangyi Zhou","path":"/fangyi-zhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7815439?s=80&v=4"},"commit":{"message":"Upgrade ocamlformat to 0.25.1","shortMessageHtmlLink":"Upgrade ocamlformat to 0.25.1"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADhKMhDwA","startCursor":null,"endCursor":null}},"title":"Activity · nuscr/nuscr"}