{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":86415729,"defaultBranch":"master","name":"dismantle","ownerLogin":"GaloisInc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-03-28T04:43:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1584774?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1722873024.0","currentOid":""},"activityList":{"items":[{"before":"92a93fe70b8febbc3a68f51e1d60fdc9505c5699","after":null,"ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-05T15:50:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"548b8ae00318464e516d91d4738ce40c34940bc8","after":"e4ebe05fbce079973e9619198c9eb14dec74fe5f","ref":"refs/heads/master","pushedAt":"2024-08-05T15:50:21.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Document why always() is needed in actions/cache/save","shortMessageHtmlLink":"CI: Document why always() is needed in actions/cache/save"}},{"before":"e04a96d0dd722d0cfd22dbdf1c9e680d225be47a","after":"92a93fe70b8febbc3a68f51e1d60fdc9505c5699","ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-05T15:35:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Document why always() is needed in actions/cache/save","shortMessageHtmlLink":"CI: Document why always() is needed in actions/cache/save"}},{"before":"0a97a9140ac4459628676c20af5c861ac3be732c","after":"e04a96d0dd722d0cfd22dbdf1c9e680d225be47a","ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-03T14:09:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8, drop 9.2","shortMessageHtmlLink":"CI: Test GHC 9.8, drop 9.2"}},{"before":null,"after":"0a97a9140ac4459628676c20af5c861ac3be732c","ref":"refs/heads/ghc-9.8","pushedAt":"2024-08-03T13:42:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8, drop 9.2","shortMessageHtmlLink":"CI: Test GHC 9.8, drop 9.2"}},{"before":"8c460aa2426d211997f4b2233eff3e690eaaf4ca","after":null,"ref":"refs/heads/T36","pushedAt":"2024-02-15T10:42:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"1599d9707498bff1fee9ed1a37804675c79eee08","after":"548b8ae00318464e516d91d4738ce40c34940bc8","ref":"refs/heads/master","pushedAt":"2024-02-15T10:42:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"arm-xml: Reduce the number of FDs opened simultaneously\n\nInstead of using lazy IO to open many files in Template Haskell at compile\ntime, which runs the risk of keeping all of the files' descriptors open\nsimultaneously, we now load the entire contents of each file one at a time,\nwhich ensures that each file's descriptor is closed in sequence. This is\ncritical to allow `dismantle-arm-xml` to be built on operating systems where\nthe maximum number of file descriptors that can be opened at once is low (e.g.,\nmacOS, with a default maximum of 256).\n\nFixes #36.","shortMessageHtmlLink":"arm-xml: Reduce the number of FDs opened simultaneously"}},{"before":null,"after":"8c460aa2426d211997f4b2233eff3e690eaaf4ca","ref":"refs/heads/T36","pushedAt":"2024-02-14T18:41:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"arm-xml: Reduce the number of FDs opened simultaneously\n\nInstead of using lazy IO to open many files in Template Haskell at compile\ntime, which runs the risk of keeping all of the files' descriptors open\nsimultaneously, we now load the entire contents of each file one at a time,\nwhich ensures that each file's descriptor is closed in sequence. This is\ncritical to allow `dismantle-arm-xml` to be built on operating systems where\nthe maximum number of file descriptors that can be opened at once is low (e.g.,\nmacOS, with a default maximum of 256).\n\nFixes #36.","shortMessageHtmlLink":"arm-xml: Reduce the number of FDs opened simultaneously"}},{"before":"82849d4aa097e7e802953286339ef9ea5e0e4bf4","after":"1599d9707498bff1fee9ed1a37804675c79eee08","ref":"refs/heads/master","pushedAt":"2023-10-27T21:05:58.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"kquick","name":"Kevin Quick","path":"/kquick","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/787421?s=80&v=4"},"commit":{"message":"Merge pull request #42 from langston-barrett/lb/ghc-9.6\n\nBump th-abstraction, parameterized-utils, test with GHC 9.6","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1965966629\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/dismantle/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/dismantle/pull/42/hovercard\" href=\"https://github.com/GaloisInc/dismantle/pull/42\">#42</a> from langston-barrett/lb/ghc-9.6"}},{"before":"48433e7ccb02924b2f4695c8c9f09fb9cfccdfc4","after":"45f11fabd75b7dc19679bc462b00087fc4f965fe","ref":"refs/heads/fathom5","pushedAt":"2023-09-13T18:37:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"add instances for QuasiMask","shortMessageHtmlLink":"add instances for QuasiMask"}},{"before":null,"after":"48433e7ccb02924b2f4695c8c9f09fb9cfccdfc4","ref":"refs/heads/fathom5","pushedAt":"2023-09-13T07:33:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"danmatichuk","name":"Daniel Matichuk","path":"/danmatichuk","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/12689407?s=80&v=4"},"commit":{"message":"Merge pull request #39 from RyanGlScott/ghc-9.2\n\nSupport building with GHC 9.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1220860785\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GaloisInc/dismantle/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GaloisInc/dismantle/pull/39/hovercard\" href=\"https://github.com/GaloisInc/dismantle/pull/39\">#39</a> from RyanGlScott/ghc-9.2"}},{"before":"a719f63c0fb489d00df5f988f442e7701384c611","after":null,"ref":"refs/heads/ghc-9.4","pushedAt":"2023-03-23T18:26:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"48433e7ccb02924b2f4695c8c9f09fb9cfccdfc4","after":"82849d4aa097e7e802953286339ef9ea5e0e4bf4","ref":"refs/heads/master","pushedAt":"2023-03-23T18:26:05.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2","shortMessageHtmlLink":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2"}},{"before":"d1986bab9076b5cde626f42b72e2666e73a03f40","after":"a719f63c0fb489d00df5f988f442e7701384c611","ref":"refs/heads/ghc-9.4","pushedAt":"2023-03-23T15:06:50.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2","shortMessageHtmlLink":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2"}},{"before":"5a94505acb78229d143e142f5f440931374cd191","after":"d1986bab9076b5cde626f42b72e2666e73a03f40","ref":"refs/heads/ghc-9.4","pushedAt":"2023-03-23T15:03:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2","shortMessageHtmlLink":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2"}},{"before":null,"after":"5a94505acb78229d143e142f5f440931374cd191","ref":"refs/heads/ghc-9.4","pushedAt":"2023-03-22T15:33:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2","shortMessageHtmlLink":"CI: Test GHC 9.2.7 and 9.4.4, drop 8.8.4 and 9.0.2"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEkjYXOQA","startCursor":null,"endCursor":null}},"title":"Activity · GaloisInc/dismantle"}