{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":707512831,"defaultBranch":"master","name":"BUS","ownerLogin":"rvs314","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-20T04:13:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71688932?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1698269747.0","currentOid":""},"activityList":{"items":[{"before":"58adae0b1018e8b7e334ab1c35ceaa533a3bd535","after":"ed96c9001753b195a57954ba1839199994bf1751","ref":"refs/heads/master","pushedAt":"2024-01-05T14:50:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Strip paper for parts","shortMessageHtmlLink":"Strip paper for parts"}},{"before":"baddbd69196f9de120a3fd06a18a85ebb47b9a82","after":"58adae0b1018e8b7e334ab1c35ceaa533a3bd535","ref":"refs/heads/master","pushedAt":"2023-12-13T18:32:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Add Expr test","shortMessageHtmlLink":"Add Expr test"}},{"before":"c0502fd4ea2240f13b0496cc2b9e2693f116d43f","after":"baddbd69196f9de120a3fd06a18a85ebb47b9a82","ref":"refs/heads/master","pushedAt":"2023-12-13T12:20:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"copy from other machine","shortMessageHtmlLink":"copy from other machine"}},{"before":"3b3d3d070d931ac814fef2dc66bd13421bbefb1d","after":"c0502fd4ea2240f13b0496cc2b9e2693f116d43f","ref":"refs/heads/master","pushedAt":"2023-12-13T06:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Add diagram and flesh out section 4","shortMessageHtmlLink":"Add diagram and flesh out section 4"}},{"before":"624c9ba2ce2989a5e85e9e0c377e978e2374b47e","after":"3b3d3d070d931ac814fef2dc66bd13421bbefb1d","ref":"refs/heads/master","pushedAt":"2023-12-13T05:12:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Remove weird temporary page","shortMessageHtmlLink":"Remove weird temporary page"}},{"before":"cb63bfbeca591529d0dadc082a0bca37ca56fcbd","after":"624c9ba2ce2989a5e85e9e0c377e978e2374b47e","ref":"refs/heads/master","pushedAt":"2023-12-13T05:07:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Write the paper","shortMessageHtmlLink":"Write the paper"}},{"before":"5d5ae83e44e2a6873ec01100c1a4be86f72dc68e","after":"cb63bfbeca591529d0dadc082a0bca37ca56fcbd","ref":"refs/heads/master","pushedAt":"2023-12-13T05:05:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Switch from Integer to Nat in Math","shortMessageHtmlLink":"Switch from Integer to Nat in Math"}},{"before":"bdd625f9015448f4dd2c90f2042f8520ebb426b1","after":"767cd302321222859d3d49aac7278f18259d25f4","ref":"refs/heads/haskell","pushedAt":"2023-11-16T20:20:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"misc changes - abandoning this branch","shortMessageHtmlLink":"misc changes - abandoning this branch"}},{"before":"57c5de0d46daa74128bcbff3b038edb9d9b29c89","after":"bdd625f9015448f4dd2c90f2042f8520ebb426b1","ref":"refs/heads/haskell","pushedAt":"2023-10-25T22:37:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Make `cabal test` fail on test failure","shortMessageHtmlLink":"Make <code>cabal test</code> fail on test failure"}},{"before":"c03991cbf2b6aeb2196e3d5dc3c76d141b90fc8f","after":"57c5de0d46daa74128bcbff3b038edb9d9b29c89","ref":"refs/heads/haskell","pushedAt":"2023-10-25T22:35:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Add tests + pretty printing","shortMessageHtmlLink":"Add tests + pretty printing"}},{"before":null,"after":"c03991cbf2b6aeb2196e3d5dc3c76d141b90fc8f","ref":"refs/heads/haskell","pushedAt":"2023-10-25T21:35:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Haskell implementation","shortMessageHtmlLink":"Haskell implementation"}},{"before":"ca65df2638ece158c90890f59b97143337953e4e","after":"5d5ae83e44e2a6873ec01100c1a4be86f72dc68e","ref":"refs/heads/master","pushedAt":"2023-10-24T12:04:36.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Merge pull request #1 from namin/fix-for-me\n\nadd local type decl, needed to select List ++ instead of String ++","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1958585468\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rvs314/BUS/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rvs314/BUS/pull/1/hovercard\" href=\"https://github.com/rvs314/BUS/pull/1\">#1</a> from namin/fix-for-me"}},{"before":"f72a624d733da458cb4d17740460c888ad91a5e9","after":"ca65df2638ece158c90890f59b97143337953e4e","ref":"refs/heads/master","pushedAt":"2023-10-23T22:01:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Add build/run instructions and a modified `run.sh`","shortMessageHtmlLink":"Add build/run instructions and a modified <code>run.sh</code>"}},{"before":"b92e7374dced159884925509409760f2306e022e","after":"f72a624d733da458cb4d17740460c888ad91a5e9","ref":"refs/heads/master","pushedAt":"2023-10-23T21:42:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Specify the executable in the ipkg","shortMessageHtmlLink":"Specify the executable in the ipkg"}},{"before":"f13708eb6456421c81edf29f76bdb1003f5d937a","after":"b92e7374dced159884925509409760f2306e022e","ref":"refs/heads/master","pushedAt":"2023-10-20T05:07:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Add list language to replace strings","shortMessageHtmlLink":"Add list language to replace strings"}},{"before":null,"after":"f13708eb6456421c81edf29f76bdb1003f5d937a","ref":"refs/heads/master","pushedAt":"2023-10-20T04:16:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rvs314","name":null,"path":"/rvs314","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71688932?s=80&v=4"},"commit":{"message":"Work","shortMessageHtmlLink":"Work"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD2KbL6QA","startCursor":null,"endCursor":null}},"title":"Activity · rvs314/BUS"}