{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":297802347,"defaultBranch":"master","name":"sprite-lang","ownerLogin":"ranjitjhala","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-09-23T00:01:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1650232?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709968106.0","currentOid":""},"activityList":{"items":[{"before":"191388df080c5fe4dface6908b9183b378293e55","after":null,"ref":"refs/heads/bump","pushedAt":"2024-03-09T07:08:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"}},{"before":"f35d12f920ba3e1cfc9d6a25f91e5f8055ce5e7c","after":"a2f725dd93a5608878d9017229c48c5019dfd2a4","ref":"refs/heads/master","pushedAt":"2024-03-09T07:08:23.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #10 from ranjitjhala/bump\n\nUpdate to use current fixpoint","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2164149355\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ranjitjhala/sprite-lang/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ranjitjhala/sprite-lang/pull/10/hovercard\" href=\"https://github.com/ranjitjhala/sprite-lang/pull/10\">#10</a> from ranjitjhala/bump"}},{"before":"24d6e7c580595f45e9c53eb128f0e9377fc081b4","after":"191388df080c5fe4dface6908b9183b378293e55","ref":"refs/heads/bump","pushedAt":"2024-03-09T07:08:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"done bump","shortMessageHtmlLink":"done bump"}},{"before":"8b29baf0526c707bf65509151955ac552057da5a","after":"24d6e7c580595f45e9c53eb128f0e9377fc081b4","ref":"refs/heads/bump","pushedAt":"2024-03-09T07:02:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"skip one test, return to it after fixing FP parser","shortMessageHtmlLink":"skip one test, return to it after fixing FP parser"}},{"before":"e654396ffcef10225c222af617b6822d09785817","after":"8b29baf0526c707bf65509151955ac552057da5a","ref":"refs/heads/bump","pushedAt":"2024-03-08T01:23:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"two failing tests","shortMessageHtmlLink":"two failing tests"}},{"before":null,"after":"e654396ffcef10225c222af617b6822d09785817","ref":"refs/heads/bump","pushedAt":"2024-03-01T20:45:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"compiles, and runs, but cabal test fails","shortMessageHtmlLink":"compiles, and runs, but cabal test fails"}},{"before":"605b830fc0b026245d36b08848d53cf9ea896041","after":"35f71a0a30120f0b17bf2c97ad41a14a524f037f","ref":"refs/heads/bump-fixpoint","pushedAt":"2023-06-27T20:59:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"add @shingarov compose tests","shortMessageHtmlLink":"add <a class=\"user-mention notranslate\" data-hovercard-type=\"user\" data-hovercard-url=\"/users/shingarov/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/shingarov\">@shingarov</a> compose tests"}},{"before":"ba8a73fdc4b1614f8acdc6e90abea1c2ce629255","after":"f35d12f920ba3e1cfc9d6a25f91e5f8055ce5e7c","ref":"refs/heads/master","pushedAt":"2023-06-27T18:20:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #6 from shingarov/rename-emptylist\n\nPerhaps `emptylist` is a better name than `singleton` in L₅/pos/nil00","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1777460233\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ranjitjhala/sprite-lang/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ranjitjhala/sprite-lang/pull/6/hovercard\" href=\"https://github.com/ranjitjhala/sprite-lang/pull/6\">#6</a> from shingarov/rename-emptylist"}},{"before":"c6b8b4f1207e1b70fe0311abaa6a89714ea646ea","after":"605b830fc0b026245d36b08848d53cf9ea896041","ref":"refs/heads/bump-fixpoint","pushedAt":"2023-06-25T22:53:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"tidy to allow fixpoint to run on generated .smt2 files","shortMessageHtmlLink":"tidy to allow fixpoint to run on generated .smt2 files"}},{"before":"c75a3685a20fbe25d0f330c5bc4972b23177fa09","after":"c6b8b4f1207e1b70fe0311abaa6a89714ea646ea","ref":"refs/heads/bump-fixpoint","pushedAt":"2023-06-25T14:36:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"add map test","shortMessageHtmlLink":"add map test"}},{"before":null,"after":"c75a3685a20fbe25d0f330c5bc4972b23177fa09","ref":"refs/heads/bump-fixpoint","pushedAt":"2023-06-24T00:24:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"sigh; 2 tests fail","shortMessageHtmlLink":"sigh; 2 tests fail"}},{"before":"0bbd714807a4f9f9b7aee269be3932c07e69b011","after":"ba8a73fdc4b1614f8acdc6e90abea1c2ce629255","ref":"refs/heads/master","pushedAt":"2023-06-22T22:12:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #5 from shingarov/fix-and\n\nFix logical connective `&&`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1769893221\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ranjitjhala/sprite-lang/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ranjitjhala/sprite-lang/pull/5/hovercard\" href=\"https://github.com/ranjitjhala/sprite-lang/pull/5\">#5</a> from shingarov/fix-and"}},{"before":"513c64779c8153d406e7418e79a209f368c49b3c","after":"0bbd714807a4f9f9b7aee269be3932c07e69b011","ref":"refs/heads/master","pushedAt":"2023-06-14T23:20:33.692Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ranjitjhala","name":"Ranjit Jhala","path":"/ranjitjhala","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1650232?s=80&v=4"},"commit":{"message":"Merge pull request #1 from numairmansur/master\n\nFix typo","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1031834976\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ranjitjhala/sprite-lang/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ranjitjhala/sprite-lang/pull/1/hovercard\" href=\"https://github.com/ranjitjhala/sprite-lang/pull/1\">#1</a> from numairmansur/master"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEM4ATwA","startCursor":null,"endCursor":null}},"title":"Activity · ranjitjhala/sprite-lang"}