{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":284253088,"defaultBranch":"master","name":"dafny","ownerLogin":"keyboardDrummer","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-08-01T12:12:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3121201?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1720109584.0","currentOid":""},"activityList":{"items":[{"before":"7a08bf81e6291ea150b3830b96d6de88bf9691da","after":"7de73940ca442d7fed938fad66397f0b0cbbf405","ref":"refs/heads/decreasesToLazyClone","pushedAt":"2024-07-08T15:32:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into decreasesToLazyClone","shortMessageHtmlLink":"Merge branch 'master' into decreasesToLazyClone"}},{"before":"bbd4b0df3fda366830ac9fa1af3262cf6355d90e","after":"db908aa4164e44f8221265dbce579ad243f03fc1","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-05T15:56:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Poke CI","shortMessageHtmlLink":"Poke CI"}},{"before":"162fa6b109d3d2dbd9a37e2c749eb83f5182fd12","after":"bbd4b0df3fda366830ac9fa1af3262cf6355d90e","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-05T13:05:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Add more rollforward","shortMessageHtmlLink":"Add more rollforward"}},{"before":"242fce70236c4b6df285effd8f796b9220d3c6d4","after":"162fa6b109d3d2dbd9a37e2c749eb83f5182fd12","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-05T06:30:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"More roll forward policy","shortMessageHtmlLink":"More roll forward policy"}},{"before":"d5d703d2d42aaa0060358aad8ffa02ecc4748b8f","after":"242fce70236c4b6df285effd8f796b9220d3c6d4","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-04T22:37:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Use large stack for verification too","shortMessageHtmlLink":"Use large stack for verification too"}},{"before":"05e1a155784e71f10518ecd2ebd765d694c1cdca","after":"d5d703d2d42aaa0060358aad8ffa02ecc4748b8f","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-04T18:26:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Missed one","shortMessageHtmlLink":"Missed one"}},{"before":null,"after":"05e1a155784e71f10518ecd2ebd765d694c1cdca","ref":"refs/heads/macos13AndIndirectC#Backend","pushedAt":"2024-07-04T16:13:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'fork/useDotnetForCompilation' into macos13AndIndirectC#Backend","shortMessageHtmlLink":"Merge remote-tracking branch 'fork/useDotnetForCompilation' into maco…"}},{"before":"a4fdd20365ae595bbfad77f4540b73e24228b46d","after":"6c6b3102cdc2eecbb0b634bc43fb9cab61bcc2be","ref":"refs/heads/macos13andUpdatedBoogie","pushedAt":"2024-07-04T15:19:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix doc-tests.yml","shortMessageHtmlLink":"Fix doc-tests.yml"}},{"before":"a8670a9d6112a5a17143ec13deabace3c88be84f","after":"915659ddb00d1dc4ff3e266d40d35d8e30ee7873","ref":"refs/heads/alwaysOpaque","pushedAt":"2024-07-04T15:14:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Update Boogie version","shortMessageHtmlLink":"Update Boogie version"}},{"before":"fabe979ed9b59633385dd355a4bda29ffbd29d19","after":"a4fdd20365ae595bbfad77f4540b73e24228b46d","ref":"refs/heads/macos13andUpdatedBoogie","pushedAt":"2024-07-04T15:09:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix parser","shortMessageHtmlLink":"Fix parser"}},{"before":"0f06b6d1e81904485d1a06ca7cac286727d158e2","after":"fabe979ed9b59633385dd355a4bda29ffbd29d19","ref":"refs/heads/macos13andUpdatedBoogie","pushedAt":"2024-07-04T15:01:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix broken cce references","shortMessageHtmlLink":"Fix broken cce references"}},{"before":"61e6d2b3cc01622ac7219377dbe899dbf2b3e41b","after":"0f06b6d1e81904485d1a06ca7cac286727d158e2","ref":"refs/heads/macos13andUpdatedBoogie","pushedAt":"2024-07-04T14:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Newer Boogie","shortMessageHtmlLink":"Newer Boogie"}},{"before":null,"after":"61e6d2b3cc01622ac7219377dbe899dbf2b3e41b","ref":"refs/heads/macos13andUpdatedBoogie","pushedAt":"2024-07-04T14:51:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Add Boogie submodule","shortMessageHtmlLink":"Add Boogie submodule"}},{"before":"1eb24aea883b6505dea9f36ad6818848c1ce554e","after":"5fdd40275a78fbe24e12b8402027bab647e34290","ref":"refs/heads/ci/deprecate-macos-11","pushedAt":"2024-07-04T11:41:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix Z3 location","shortMessageHtmlLink":"Fix Z3 location"}},{"before":"c33ffb1324282a22b09cd68f66dd0b78a6037f7d","after":"a8670a9d6112a5a17143ec13deabace3c88be84f","ref":"refs/heads/alwaysOpaque","pushedAt":"2024-07-04T11:29:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Add release note","shortMessageHtmlLink":"Add release note"}},{"before":"625aba2860a7098c031e02ad3c58e6252376e3f1","after":"1eb24aea883b6505dea9f36ad6818848c1ce554e","ref":"refs/heads/ci/deprecate-macos-11","pushedAt":"2024-07-04T11:25:10.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Update makefile","shortMessageHtmlLink":"Update makefile"}},{"before":"65e1f4b623f95f640aec5bb402e8939e2be504af","after":"625aba2860a7098c031e02ad3c58e6252376e3f1","ref":"refs/heads/ci/deprecate-macos-11","pushedAt":"2024-07-04T11:14:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix warnings","shortMessageHtmlLink":"Fix warnings"}},{"before":null,"after":"65e1f4b623f95f640aec5bb402e8939e2be504af","ref":"refs/heads/ci/deprecate-macos-11","pushedAt":"2024-07-04T11:12:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Update to .NET 8","shortMessageHtmlLink":"Update to .NET 8"}},{"before":"c60e66f1cd10a96e767436dce52cdf0bc5869237","after":"c33ffb1324282a22b09cd68f66dd0b78a6037f7d","ref":"refs/heads/alwaysOpaque","pushedAt":"2024-07-04T09:26:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Refactoring","shortMessageHtmlLink":"Refactoring"}},{"before":"5664a6fb4619ceb43aa96dded1080b4f2336c31c","after":"c60e66f1cd10a96e767436dce52cdf0bc5869237","ref":"refs/heads/alwaysOpaque","pushedAt":"2024-07-04T09:21:15.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into alwaysOpaque","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into alwaysOpaque"}},{"before":"ce9d3f80dbf197b6f77ecd88ef382c15c9cd41aa","after":null,"ref":"refs/heads/refactorBeforeHide","pushedAt":"2024-07-04T09:19:47.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"}},{"before":"a6ba81a3210227896900def4dc836b18f81ed04b","after":"7a08bf81e6291ea150b3830b96d6de88bf9691da","ref":"refs/heads/decreasesToLazyClone","pushedAt":"2024-07-04T09:05:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Add test","shortMessageHtmlLink":"Add test"}},{"before":"e614874474be9583c435a5b26eea70c9cbf134b0","after":"a6ba81a3210227896900def4dc836b18f81ed04b","ref":"refs/heads/decreasesToLazyClone","pushedAt":"2024-07-04T06:32:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix field types","shortMessageHtmlLink":"Fix field types"}},{"before":null,"after":"e614874474be9583c435a5b26eea70c9cbf134b0","ref":"refs/heads/decreasesToLazyClone","pushedAt":"2024-07-04T06:28:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix clone function of DecreasesToExpr","shortMessageHtmlLink":"Fix clone function of DecreasesToExpr"}},{"before":"c971f5af80e947b94003dc3446919a26fdedd42e","after":"ce9d3f80dbf197b6f77ecd88ef382c15c9cd41aa","ref":"refs/heads/refactorBeforeHide","pushedAt":"2024-07-03T15:52:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Trigger CI","shortMessageHtmlLink":"Trigger CI"}},{"before":null,"after":"c971f5af80e947b94003dc3446919a26fdedd42e","ref":"refs/heads/refactorBeforeHide","pushedAt":"2024-07-03T14:05:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Refactor codebase in preparation for hide PR","shortMessageHtmlLink":"Refactor codebase in preparation for hide PR"}},{"before":"dcc4a89c323f84012e29430d5e84efd257fb0068","after":"5664a6fb4619ceb43aa96dded1080b4f2336c31c","ref":"refs/heads/alwaysOpaque","pushedAt":"2024-07-03T10:51:55.000Z","pushType":"push","commitsCount":30,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Adapt to Boogie changes and fix tests","shortMessageHtmlLink":"Adapt to Boogie changes and fix tests"}},{"before":"3bdaa87d795a23ad4afea1d16f438440b055d743","after":"a1344657457b8e9ad5ffdbfcd3a576139bf7a996","ref":"refs/heads/typeSystemRefreshDefault","pushedAt":"2024-06-28T09:35:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Changed from full to datatype","shortMessageHtmlLink":"Changed from full to datatype"}},{"before":null,"after":"3bdaa87d795a23ad4afea1d16f438440b055d743","ref":"refs/heads/typeSystemRefreshDefault","pushedAt":"2024-06-27T14:05:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Make the new type system the default","shortMessageHtmlLink":"Make the new type system the default"}},{"before":null,"after":"713ad8ef8abe80917355aa97beffbc6fb6749d5e","ref":"refs/heads/fix-5572-disjunctive-pattern-matching-not-correctly-handled","pushedAt":"2024-06-26T07:01:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix test expect file","shortMessageHtmlLink":"Fix test expect file"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEecNLWAA","startCursor":null,"endCursor":null}},"title":"Activity · keyboardDrummer/dafny"}