{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":222771662,"defaultBranch":"master","name":"dafny","ownerLogin":"robin-aws","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-11-19T19:19:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/30840053?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1719614057.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"7857ea3a7c56f17076a0c4b9ceb50770df50617d","ref":"refs/heads/warn-against-deeply-nested-let-exprs","pushedAt":"2024-06-28T22:34:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Emit warning","shortMessageHtmlLink":"Emit warning"}},{"before":"e2996db2d5c0f0db108756d9ccdbfaa6c22fb18a","after":null,"ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-17T20:47:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"}},{"before":"bd6d4f9c62f487527769050064d4433bffabede4","after":"e2996db2d5c0f0db108756d9ccdbfaa6c22fb18a","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-15T18:56:35.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":"f514b3de6e1bae87f7214c36d27d94026f23f04f","after":"bd6d4f9c62f487527769050064d4433bffabede4","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-15T17:28:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Attempt to make DafnyTestGeneration.Test hang less often","shortMessageHtmlLink":"Attempt to make DafnyTestGeneration.Test hang less often"}},{"before":"b5a5c33e7d0f2da3534b29cd3997e989169c0fa4","after":"f514b3de6e1bae87f7214c36d27d94026f23f04f","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-14T19:18:53.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":"Merge branch 'legacy-datatype-constructor-compatibility' of github.com:robin-aws/dafny into legacy-datatype-constructor-compatibility","shortMessageHtmlLink":"Merge branch 'legacy-datatype-constructor-compatibility' of github.co…"}},{"before":"a8f9adafda5533db2ea039a86cee07bef337e72e","after":"b5a5c33e7d0f2da3534b29cd3997e989169c0fa4","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-14T17:51:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"RustanLeino","name":"Rustan Leino","path":"/RustanLeino","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11763367?s=80&v=4"},"commit":{"message":"Merge branch 'master' into legacy-datatype-constructor-compatibility","shortMessageHtmlLink":"Merge branch 'master' into legacy-datatype-constructor-compatibility"}},{"before":"e325688b19fb1bf50c10b9804d8e810e0c9b5161","after":"a8f9adafda5533db2ea039a86cee07bef337e72e","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-14T12:21:09.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":"Merge branch 'master' into legacy-datatype-constructor-compatibility","shortMessageHtmlLink":"Merge branch 'master' into legacy-datatype-constructor-compatibility"}},{"before":"b2541761d6e72e829c57f3e54c8de7fac20272dd","after":"e325688b19fb1bf50c10b9804d8e810e0c9b5161","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-13T23:14:36.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":"Add readme, restore unsignedToBigInteger in Java runtime too","shortMessageHtmlLink":"Add readme, restore unsignedToBigInteger in Java runtime too"}},{"before":"1001aebd0787eb7558b7481631c989c5a4cc9479","after":"b2541761d6e72e829c57f3e54c8de7fac20272dd","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-13T22:56:15.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Implement feature and fix test","shortMessageHtmlLink":"Implement feature and fix test"}},{"before":null,"after":"1001aebd0787eb7558b7481631c989c5a4cc9479","ref":"refs/heads/legacy-datatype-constructor-compatibility","pushedAt":"2024-06-12T22:33:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Starting with a test","shortMessageHtmlLink":"Starting with a test"}},{"before":"4162f324784f3411d16f3889f75ce52b9501824a","after":"02ebe4b3c435ac93cd247c8ac6e882817854ae75","ref":"refs/heads/actions-and-streaming-stdlibs","pushedAt":"2024-06-10T21:55:10.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":"More function-syntax","shortMessageHtmlLink":"More function-syntax"}},{"before":"9ed25502e33bc1f0b3561a693900b44a6b2bb2a2","after":"4162f324784f3411d16f3889f75ce52b9501824a","ref":"refs/heads/actions-and-streaming-stdlibs","pushedAt":"2024-06-10T21:51:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"—function-syntax","shortMessageHtmlLink":"—function-syntax"}},{"before":"31afc7787e785c07c344b82a3f39da29bf43a06d","after":"9ed25502e33bc1f0b3561a693900b44a6b2bb2a2","ref":"refs/heads/actions-and-streaming-stdlibs","pushedAt":"2024-06-08T20:16:51.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 DynamicArray in ArrayAggregator","shortMessageHtmlLink":"Use DynamicArray in ArrayAggregator"}},{"before":"86a2276addd3668723bc50785c1b2b19d50f9b1f","after":"980e88e3437550e085282b48b46fca38d26dec94","ref":"refs/heads/align-mostly-on-macos-11","pushedAt":"2024-06-06T00:30:40.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":"Merge branch 'master' into align-mostly-on-macos-11","shortMessageHtmlLink":"Merge branch 'master' into align-mostly-on-macos-11"}},{"before":"2a8f0547d3db70ca1a197b3c2024b10ea499c71d","after":"86a2276addd3668723bc50785c1b2b19d50f9b1f","ref":"refs/heads/align-mostly-on-macos-11","pushedAt":"2024-06-05T16:12:12.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 10 shards for `run-deep-tests` too for consistency","shortMessageHtmlLink":"Use 10 shards for <code>run-deep-tests</code> too for consistency"}},{"before":"827d30cd9014073e7a6ff42efd0eff9f9ef825db","after":"2a8f0547d3db70ca1a197b3c2024b10ea499c71d","ref":"refs/heads/align-mostly-on-macos-11","pushedAt":"2024-06-05T16:08:44.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":"Fix bad merge","shortMessageHtmlLink":"Fix bad merge"}},{"before":null,"after":"827d30cd9014073e7a6ff42efd0eff9f9ef825db","ref":"refs/heads/align-mostly-on-macos-11","pushedAt":"2024-06-05T16:06:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Use macos-latest for publish-release\n\nSince otherwise brew has to build everything from source on macos-11","shortMessageHtmlLink":"Use macos-latest for publish-release"}},{"before":"d5eaf1beaf949d527287370f2faa99d9abfc08a3","after":"8f7214b706e05c6276638a962cc56586c9c4c81c","ref":"refs/heads/migrate-off-macos-11","pushedAt":"2024-05-28T20:51:32.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":null,"after":"d5eaf1beaf949d527287370f2faa99d9abfc08a3","ref":"refs/heads/migrate-off-macos-11","pushedAt":"2024-05-28T20:43:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"macos-11 -> macos-13","shortMessageHtmlLink":"macos-11 -&gt; macos-13"}},{"before":"12042a4f8077f1ef7fc928bc5fe9d476b322ef73","after":"25308a652ec7af58713ffaba3de4fc1e3f06f51b","ref":"refs/heads/align-on-macos-12","pushedAt":"2024-05-27T18:52:26.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":"Merge branch 'align-on-macos-12' of github.com:robin-aws/dafny into align-on-macos-12","shortMessageHtmlLink":"Merge branch 'align-on-macos-12' of github.com:robin-aws/dafny into a…"}},{"before":"25c8f315af44b0dd7522e566e1f0c984c692d48f","after":"12042a4f8077f1ef7fc928bc5fe9d476b322ef73","ref":"refs/heads/align-on-macos-12","pushedAt":"2024-05-27T18:31:10.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into align-on-macos-12","shortMessageHtmlLink":"Merge branch 'master' into align-on-macos-12"}},{"before":null,"after":"25c8f315af44b0dd7522e566e1f0c984c692d48f","ref":"refs/heads/align-on-macos-12","pushedAt":"2024-05-27T18:28:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Use macos-12 in all CI","shortMessageHtmlLink":"Use macos-12 in all CI"}},{"before":"162f6027d55915a99a71daf1793c494a5691bc94","after":"6863f017aba6a2f7435dace8a0e8aba2a689e5d3","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-22T10:29:51.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":"Merge branch 'master' into omit-empty-modules-from-translation","shortMessageHtmlLink":"Merge branch 'master' into omit-empty-modules-from-translation"}},{"before":"4bfe54edbdf910c0a2fab9807ec1a36978f131de","after":"162f6027d55915a99a71daf1793c494a5691bc94","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-21T22:33:12.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":"Whitespace","shortMessageHtmlLink":"Whitespace"}},{"before":"7ccb423ee611a3f082d0a8657f5a42b6d941889e","after":"4bfe54edbdf910c0a2fab9807ec1a36978f131de","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-21T21:23:39.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":"Fix NRE","shortMessageHtmlLink":"Fix NRE"}},{"before":"73c6ad5d31ffb6f4a6fc52cfc755a716b9a81b0e","after":"7ccb423ee611a3f082d0a8657f5a42b6d941889e","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-21T19:47:10.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":"Merge branch 'omit-empty-modules-from-translation' of github.com:robin-aws/dafny into omit-empty-modules-from-translation","shortMessageHtmlLink":"Merge branch 'omit-empty-modules-from-translation' of github.com:robi…"}},{"before":"ed25f4135d1515221f0b44bd262fe0b4620c71ee","after":"73c6ad5d31ffb6f4a6fc52cfc755a716b9a81b0e","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-21T18:44:48.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into omit-empty-modules-from-translation","shortMessageHtmlLink":"Merge branch 'master' into omit-empty-modules-from-translation"}},{"before":null,"after":"ed25f4135d1515221f0b44bd262fe0b4620c71ee","ref":"refs/heads/omit-empty-modules-from-translation","pushedAt":"2024-05-21T18:44:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Don’t compile empty modules","shortMessageHtmlLink":"Don’t compile empty modules"}},{"before":null,"after":"31afc7787e785c07c344b82a3f39da29bf43a06d","ref":"refs/heads/actions-and-streaming-stdlibs","pushedAt":"2024-05-20T22:20:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Just Action trait (doesn’t verify yet)","shortMessageHtmlLink":"Just Action trait (doesn’t verify yet)"}},{"before":null,"after":"e30d0985c003c56f8d024e0f1aef36770ee3ee18","ref":"refs/heads/omit-empty-parent-modules-from-dtr-files","pushedAt":"2024-05-15T22:28:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Beef up test case to expose issue","shortMessageHtmlLink":"Beef up test case to expose issue"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEckWXEAA","startCursor":null,"endCursor":null}},"title":"Activity · robin-aws/dafny"}