{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":1279730,"defaultBranch":"master","name":"clafer","ownerLogin":"gsdlab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2011-01-21T19:55:35.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/439709?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1694517745.0","currentOid":""},"activityList":{"items":[{"before":"4914d5bd72feee1343ef7ef97eeac02364477bd2","after":"4ba775ab01d91d2cdb46949367acc7b5c4851f83","ref":"refs/heads/master","pushedAt":"2023-11-30T18:31:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"upgrade to ghc 9.4.8 and lts-21.22","shortMessageHtmlLink":"upgrade to ghc 9.4.8 and lts-21.22"}},{"before":"cfa88f68d4f295f5644d8f16aefe8add78952ee4","after":null,"ref":"refs/heads/develop","pushedAt":"2023-09-12T11:01:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"}},{"before":"a30a645ae1e4fc793851e53446d220924038873a","after":"4914d5bd72feee1343ef7ef97eeac02364477bd2","ref":"refs/heads/master","pushedAt":"2023-09-12T10:59:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"Release 0.5.1 (#95)\n\n* upgrade to LTS-12.26 (GHC 8.4.4)\r\n\r\n* switch travis to use GHC 8.4.4 and cabal-install 2.2\r\n\r\n* update alex and happy versions\r\n\r\n* migrate to GHC 9.2.8 and 9.4.6\r\n\r\n* use gsdlab/StringMap fork until merged\r\n\r\n* update versions and revise build instructions\r\n\r\n* gitignore stack.yaml.lock\r\n\r\n* update gsdlab/StringMap to the latest commit\r\n\r\n* update release date\r\n\r\n* add WISE Lab\r\n\r\n* simplify constraint as MonadFail implies Monad\r\n\r\n* update maintainer email\r\n\r\n* harmonize versions\r\n\r\n* code smells\r\n\r\n* add an instance for MonadFail to TypeAnalysis and use fail instead of error. Fix code smells\r\n\r\n* upgrade to lts-21.9\r\n\r\n* add .project file listing the external git deps\r\n\r\n* release date and LTS-21.11","shortMessageHtmlLink":"Release 0.5.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"396223421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/gsdlab/clafer/issues/95\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/gsdlab/clafer/pull/95/hovercard\" href=\"https://github.com/gsdlab/clafer/pull/95\">#95</a>)"}},{"before":"5d813132b8f453279a38542c4c13146ed220de3d","after":"cfa88f68d4f295f5644d8f16aefe8add78952ee4","ref":"refs/heads/develop","pushedAt":"2023-09-12T10:29:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"release date and LTS-21.11","shortMessageHtmlLink":"release date and LTS-21.11"}},{"before":"25401fd3acc4b7303148414b5ca63b23dbf8b36a","after":"5d813132b8f453279a38542c4c13146ed220de3d","ref":"refs/heads/develop","pushedAt":"2023-09-01T13:21:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"add .project file listing the external git deps","shortMessageHtmlLink":"add .project file listing the external git deps"}},{"before":"acd33ed3481d0f7381b0fa2094f833da65254613","after":"25401fd3acc4b7303148414b5ca63b23dbf8b36a","ref":"refs/heads/develop","pushedAt":"2023-08-25T21:28:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"upgrade to lts-21.9","shortMessageHtmlLink":"upgrade to lts-21.9"}},{"before":"f412e9aedd43cc11aadb5b9ff97ada823647aa1a","after":"acd33ed3481d0f7381b0fa2094f833da65254613","ref":"refs/heads/develop","pushedAt":"2023-08-25T16:24:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"add an instance for MonadFail to TypeAnalysis and use fail instead of error. Fix code smells","shortMessageHtmlLink":"add an instance for MonadFail to TypeAnalysis and use fail instead of…"}},{"before":"32b4095cd4c3cd87a33464c49ed07a08aaa178b7","after":"f412e9aedd43cc11aadb5b9ff97ada823647aa1a","ref":"refs/heads/develop","pushedAt":"2023-08-25T15:58:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"code smells","shortMessageHtmlLink":"code smells"}},{"before":"24d0b84b7d461415258a3f0dbe987870d99f305c","after":"32b4095cd4c3cd87a33464c49ed07a08aaa178b7","ref":"refs/heads/develop","pushedAt":"2023-08-25T14:46:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"harmonize versions","shortMessageHtmlLink":"harmonize versions"}},{"before":"35e65534aa2ed81e767617c29965e81d345f783a","after":"24d0b84b7d461415258a3f0dbe987870d99f305c","ref":"refs/heads/develop","pushedAt":"2023-08-24T19:13:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"update maintainer email","shortMessageHtmlLink":"update maintainer email"}},{"before":"c5d3f1c91e42b9246bda90fbf86453620fa75687","after":"35e65534aa2ed81e767617c29965e81d345f783a","ref":"refs/heads/develop","pushedAt":"2023-08-24T19:02:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"add WISE Lab","shortMessageHtmlLink":"add WISE Lab"}},{"before":"9bc227f6183d5cf032ffb4aee09a05b83b492b73","after":"c5d3f1c91e42b9246bda90fbf86453620fa75687","ref":"refs/heads/develop","pushedAt":"2023-08-24T18:55:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"update with master, resolve conflict","shortMessageHtmlLink":"update with master, resolve conflict"}},{"before":"424736f8d06989a9572f46f4ad16a9b31f61f1af","after":"9bc227f6183d5cf032ffb4aee09a05b83b492b73","ref":"refs/heads/develop","pushedAt":"2023-08-24T18:01:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"update gsdlab/StringMap to the latest commit","shortMessageHtmlLink":"update gsdlab/StringMap to the latest commit"}},{"before":"a32b60e57dd2767bb298e94262c3f5f7a2bf7e0e","after":"424736f8d06989a9572f46f4ad16a9b31f61f1af","ref":"refs/heads/develop","pushedAt":"2023-08-24T17:51:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"gitignore stack.yaml.lock","shortMessageHtmlLink":"gitignore stack.yaml.lock"}},{"before":"30a6556b56c97218d93704c5a00b98a405e481a1","after":"a32b60e57dd2767bb298e94262c3f5f7a2bf7e0e","ref":"refs/heads/develop","pushedAt":"2023-08-24T17:37:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"update versions and revise build instructions","shortMessageHtmlLink":"update versions and revise build instructions"}},{"before":"2bea0e35f68bd0538856fc706071a881f0967aca","after":"30a6556b56c97218d93704c5a00b98a405e481a1","ref":"refs/heads/develop","pushedAt":"2023-08-24T13:59:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"use gsdlab/StringMap fork until merged","shortMessageHtmlLink":"use gsdlab/StringMap fork until merged"}},{"before":"11dbaa763a0609dc32a57c1d5bcd68999f206363","after":"2bea0e35f68bd0538856fc706071a881f0967aca","ref":"refs/heads/develop","pushedAt":"2023-08-22T22:08:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mantkiew","name":"Michał Antkiewicz","path":"/mantkiew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/439625?s=80&v=4"},"commit":{"message":"migrate to GHC 9.2.8 and 9.4.6","shortMessageHtmlLink":"migrate to GHC 9.2.8 and 9.4.6"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADvGNJ3QA","startCursor":null,"endCursor":null}},"title":"Activity · gsdlab/clafer"}