{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":56403253,"defaultBranch":"master","name":"dafny","ownerLogin":"dafny-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-16T20:05:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52358127?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727475138.0","currentOid":""},"activityList":{"items":[{"before":"a32ed904ea78719de1fc3d69748f0fe5c43a3610","after":null,"ref":"refs/heads/feat-print-rust-object-string","pushedAt":"2024-09-27T22:12:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"664f343060e123540e287de50ec1789c7a7df22a","after":"38db1b8523c3453a104f32df649789f97d2a059e","ref":"refs/heads/master","pushedAt":"2024-09-27T22:12:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Printing of Object<string> will now display the string. (#5796)\n\nThis PR makes it possible to wrap Rust's native string in `Object<>`\r\nwhile printing will print them correctly. I added a test in\r\nDafnyRuntimeRust\r\n\r\nThis PR might break external code which created `Object<>` of things\r\nthat Dafny did not support originally, but I'm not aware of any other\r\nexternal code that was making use of that. Moreover, there is a\r\nworkaround by creating the appropriate `Upcast` trait.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Chore: Printing of Object&lt;string&gt; will now display the string. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2553535632\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5796\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5796/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5796\">#5796</a>)"}},{"before":"9c2c5173e982dc20c930f6d67e10483446b626cc","after":"a32ed904ea78719de1fc3d69748f0fe5c43a3610","ref":"refs/heads/feat-print-rust-object-string","pushedAt":"2024-09-27T21:44:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Applied review suggestions","shortMessageHtmlLink":"Applied review suggestions"}},{"before":null,"after":"9c2c5173e982dc20c930f6d67e10483446b626cc","ref":"refs/heads/feat-print-rust-object-string","pushedAt":"2024-09-27T18:46:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Printing of Object<string> will now display the string.","shortMessageHtmlLink":"Printing of Object&lt;string&gt; will now display the string."}},{"before":"cb914190009f65f874b789edc763b937397ffee2","after":"664f343060e123540e287de50ec1789c7a7df22a","ref":"refs/heads/master","pushedAt":"2024-09-27T11:21:09.000Z","pushType":"pr_merge","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":"Omit empty modules when translating to Go (#5766)\n\n### Description\r\nThe empty parent modules of a Dafny module like `A.B.C` can cause\r\ntrouble in Go when trying to use `--go-module-name` - these aren't\r\nrecorded in translation records since they can appear in multiple\r\ncompilation units. This may need to be extended to other target\r\nlanguages in the future.\r\n\r\n### How has this been tested?\r\nGoEmptyParentModules.dfy, which uses `CHECK-NOT` to assert the empty\r\nmodules don't show up in the translated code.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Omit empty modules when translating to Go (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2523091243\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5766\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5766/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5766\">#5766</a>)"}},{"before":"3fd14dcbb64b8ab008fe742736b7a4663854c674","after":null,"ref":"refs/heads/chore-refactorings-followup","pushedAt":"2024-09-25T19:59:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"8a4b1e76a805f6fafff3039d454271b05f99eb5f","after":"cb914190009f65f874b789edc763b937397ffee2","ref":"refs/heads/master","pushedAt":"2024-09-25T19:59:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Rust refactorings followup (#5793)\n\nFollow-up of https://github.com/dafny-lang/dafny/pull/5786 with two\r\nchanges\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Chore: Rust refactorings followup (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2548844696\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5793\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5793/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5793\">#5793</a>)"}},{"before":null,"after":"3fd14dcbb64b8ab008fe742736b7a4663854c674","ref":"refs/heads/chore-refactorings-followup","pushedAt":"2024-09-25T19:32:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Rust refactorings followup","shortMessageHtmlLink":"Chore: Rust refactorings followup"}},{"before":"ad6da77c9e67ce2eb52efa44c911cd42c9dc3c15","after":null,"ref":"refs/heads/dependabot/bundler/docs/google-protobuf-3.25.5","pushedAt":"2024-09-25T09:48:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"}},{"before":"9bd656b2e84ce1bb30e9a642d791763dde678143","after":"8a4b1e76a805f6fafff3039d454271b05f99eb5f","ref":"refs/heads/master","pushedAt":"2024-09-25T09:48:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"chore(deps): bump google-protobuf from 3.25.2 to 3.25.5 in /docs (#5783)\n\nBumps [google-protobuf](https://github.com/protocolbuffers/protobuf) from 3.25.2 to 3.25.5.\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\r\nCo-authored-by: Fabio Madge <fmadge@amazon.com>","shortMessageHtmlLink":"chore(deps): bump google-protobuf from 3.25.2 to 3.25.5 in /docs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2536819201\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5783\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5783/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5783\">#5783</a>)"}},{"before":"af2b41522b98ff4f93ec48f83c163650b6ccfa60","after":"ad6da77c9e67ce2eb52efa44c911cd42c9dc3c15","ref":"refs/heads/dependabot/bundler/docs/google-protobuf-3.25.5","pushedAt":"2024-09-25T09:22:54.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"Merge branch 'master' into dependabot/bundler/docs/google-protobuf-3.25.5","shortMessageHtmlLink":"Merge branch 'master' into dependabot/bundler/docs/google-protobuf-3.…"}},{"before":"65b94a7e55fb20ed04fc2c5e57f4efe899edf446","after":null,"ref":"refs/heads/dependabot/bundler/docs/webrick-1.8.2","pushedAt":"2024-09-25T09:22:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"}},{"before":"2036e2085c6f407ed3ab7788b8865af4810a3162","after":"9bd656b2e84ce1bb30e9a642d791763dde678143","ref":"refs/heads/master","pushedAt":"2024-09-25T09:22:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs (#5792)\n\nBumps [webrick](https://github.com/ruby/webrick) from 1.8.1 to 1.8.2.\r\n\r\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2546600406\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5792\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5792/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5792\">#5792</a>)"}},{"before":null,"after":"65b94a7e55fb20ed04fc2c5e57f4efe899edf446","ref":"refs/heads/dependabot/bundler/docs/webrick-1.8.2","pushedAt":"2024-09-24T23:44:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs\n\nBumps [webrick](https://github.com/ruby/webrick) from 1.8.1 to 1.8.2.\n- [Release notes](https://github.com/ruby/webrick/releases)\n- [Commits](https://github.com/ruby/webrick/compare/v1.8.1...v1.8.2)\n\n---\nupdated-dependencies:\n- dependency-name: webrick\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs"}},{"before":"6808fa1e7ae52d2d8ba3fd59b3ebc28c47a1cec5","after":null,"ref":"refs/heads/ajewell/cargo-cleanup","pushedAt":"2024-09-24T23:44:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"7b1e4028a5bc342e87849153b77c985e1420eb6b","after":"2036e2085c6f407ed3ab7788b8865af4810a3162","ref":"refs/heads/master","pushedAt":"2024-09-24T23:43:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"chore: remove unused crates from Cargo.toml (#5791)\n\n### Description\r\nremove unused crates from Cargo.toml\r\n\r\n### How has this been tested?\r\nIf it compiles, that's test enough.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"chore: remove unused crates from Cargo.toml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2546442712\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5791\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5791/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5791\">#5791</a>)"}},{"before":null,"after":"6808fa1e7ae52d2d8ba3fd59b3ebc28c47a1cec5","ref":"refs/heads/ajewell/cargo-cleanup","pushedAt":"2024-09-24T21:39:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ajewellamz","name":"Andrew Jewell","path":"/ajewellamz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107044381?s=80&v=4"},"commit":{"message":"chore: remove unused crates from Cargo.toml","shortMessageHtmlLink":"chore: remove unused crates from Cargo.toml"}},{"before":"5dd631dbfe2045810dfbebdb7924406c389c4a35","after":null,"ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T20:40:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"}},{"before":"8cd815d7bed7726386a0324fcb141f5725ee287f","after":"7b1e4028a5bc342e87849153b77c985e1420eb6b","ref":"refs/heads/master","pushedAt":"2024-09-24T20:40:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Rust refactorings (#5786)\n\nOnly refactorings +\r\n* Enable raw pointer equality as it was previously possible but not yet\r\ntested\r\n* Fix a potential bug in the new resolver but wasn't enough to use it\r\nfor DafnyCore.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Chore: Rust refactorings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539761919\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5786\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5786/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5786\">#5786</a>)"}},{"before":"6cf4c370aab549a150a9e01169429e7a0ae502b3","after":"5dd631dbfe2045810dfbebdb7924406c389c4a35","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T20:15:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Regenerated files","shortMessageHtmlLink":"Regenerated files"}},{"before":"237d5cc567ffb5319772446c70a0467e761fec03","after":"6cf4c370aab549a150a9e01169429e7a0ae502b3","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T17:35:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into chore-refactorings","shortMessageHtmlLink":"Merge branch 'master' into chore-refactorings"}},{"before":"422d4257f1b6ebc6ee827468f29965f30fb5cc4a","after":null,"ref":"refs/heads/fix-5723-no-active-test","pushedAt":"2024-09-24T16:07:50.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":"ef13a72f3a9d3fb514067ef440123ba18b50e670","after":"8cd815d7bed7726386a0324fcb141f5725ee287f","ref":"refs/heads/master","pushedAt":"2024-09-24T16:07:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Chore: Fix 'no active test' (#5790)\n\nFixes #5723, likely fixes #5713 and fixes #5759\r\n\r\n### Description\r\nThe CI fails every other run because of some unknown \"there is no\r\ncurrently active test\"\r\nBased on this discussion:\r\nhttps://github.com/xunit/xunit/issues/2146\r\nit seems we should try/catch writing to the output channel, which this\r\nPR implements\r\n\r\n### How has this been tested?\r\nThe CI should not fail on this PR, and if needed, we can increase\r\nassurance that this PR solves the problem correctly.\r\nTo ensure the catching code is not deleted, the comment mentions the\r\nissue it is fixing.\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Chore: Fix 'no active test' (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545752488\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5790\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5790/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5790\">#5790</a>)"}},{"before":"67c8b0e06a92d89113e800d7d0cbc8021cf43446","after":"422d4257f1b6ebc6ee827468f29965f30fb5cc4a","ref":"refs/heads/fix-5723-no-active-test","pushedAt":"2024-09-24T15:38:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"better comment","shortMessageHtmlLink":"better comment"}},{"before":null,"after":"67c8b0e06a92d89113e800d7d0cbc8021cf43446","ref":"refs/heads/fix-5723-no-active-test","pushedAt":"2024-09-24T15:35:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Fix 'no active test'","shortMessageHtmlLink":"Chore: Fix 'no active test'"}},{"before":"ad948e5f96c6cd76fafe49f1dbd8a5cad6b1a868","after":"237d5cc567ffb5319772446c70a0467e761fec03","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T15:01:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"fixed CI test","shortMessageHtmlLink":"fixed CI test"}},{"before":"c63193a9ee8e7990249da893911c36a96255d4c4","after":"ad948e5f96c6cd76fafe49f1dbd8a5cad6b1a868","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T13:37:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"format","shortMessageHtmlLink":"format"}},{"before":"239c5e6ceed6fdd2fbeb163135b2c8f60c17927b","after":"c63193a9ee8e7990249da893911c36a96255d4c4","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T13:26:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Added missing Defs file","shortMessageHtmlLink":"Added missing Defs file"}},{"before":"b4f0dda6d77a799de6766d07f3b8e208c81aab10","after":"239c5e6ceed6fdd2fbeb163135b2c8f60c17927b","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T13:03:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into chore-refactorings","shortMessageHtmlLink":"Merge branch 'master' into chore-refactorings"}},{"before":"1ed7e04cbaca255d8053f500a44e2fd939c5f477","after":"b4f0dda6d77a799de6766d07f3b8e208c81aab10","ref":"refs/heads/chore-refactorings","pushedAt":"2024-09-24T13:03:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"regenerated files","shortMessageHtmlLink":"regenerated files"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yN1QyMjoxMjoxOC4wMDAwMDBazwAAAATDDsEP","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQxMzowMzoyMy4wMDAwMDBazwAAAAS_KZ1o"}},"title":"Activity · dafny-lang/dafny"}