{"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:1717603561.0","currentOid":""},"activityList":{"items":[{"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"}},{"before":"b349c9183838ba497c85a7a8274cd7722db7e9ec","after":"ac84fc7a50677fcb738a7289c1042cc81c4ff52a","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T21:04:46.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":"Better scheduled time","shortMessageHtmlLink":"Better scheduled time"}},{"before":"e1c017feb8d994b10c02f210c313f1b7451c6ba6","after":"b349c9183838ba497c85a7a8274cd7722db7e9ec","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T21:02:43.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":"Restore scheduling guard","shortMessageHtmlLink":"Restore scheduling guard"}},{"before":"582a649add8a4e6bd0ba54bcc0ad2f50422882f9","after":"e1c017feb8d994b10c02f210c313f1b7451c6ba6","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T20:34: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":"Better name","shortMessageHtmlLink":"Better name"}},{"before":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","after":"582a649add8a4e6bd0ba54bcc0ad2f50422882f9","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T20:12:27.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":"Make os explicit to fix matrix calculation","shortMessageHtmlLink":"Make os explicit to fix matrix calculation"}},{"before":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","after":"649e65ba8bec1527e04bb1895db932c18106f330","ref":"refs/heads/master","pushedAt":"2024-05-01T19:43:41.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":"Debugging on fork","shortMessageHtmlLink":"Debugging on fork"}},{"before":"2e7de95d7bf41bd70a1017f8c67d0f5c45d0c525","after":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","ref":"refs/heads/master","pushedAt":"2024-05-01T19:41:24.000Z","pushType":"push","commitsCount":19,"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 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/dafny into daily-ci-to-soak-flaky-tests","shortMessageHtmlLink":"Merge branch 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/…"}},{"before":"614bb0322676bd426b897382d6978f79424f7ef5","after":"ef2c4904b80713737bfe7b9748e3d2fb3e26a0bc","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T19:40:58.000Z","pushType":"push","commitsCount":5,"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 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/dafny into daily-ci-to-soak-flaky-tests","shortMessageHtmlLink":"Merge branch 'daily-ci-to-soak-flaky-tests' of github.com:dafny-lang/…"}},{"before":"5c8806f7c7c8a703b6f0d85fe26bd2a6e85a91e1","after":"2e7de95d7bf41bd70a1017f8c67d0f5c45d0c525","ref":"refs/heads/master","pushedAt":"2024-05-01T19:40:36.000Z","pushType":"push","commitsCount":26,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Change the format of output produced by `--progress` (#5341)\n\n### Description\r\n\r\nThe previous implementation had two issues:\r\n* It displayed only the milliseconds portion of the duration, so would\r\nbe incorrect for any verification lasting longer than a second.\r\n* The use of exponential notation for resource count made it more\r\ndifficult to compare values, and impossible to identify small\r\ndifferences.\r\n\r\nThis also changes the overall format of the message slightly.\r\n\r\n### How has this been tested?\r\n\r\nExisting tests have been updated to reflect the changes in formatting.\r\n\r\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the MIT license.","shortMessageHtmlLink":"Change the format of output produced by <code>--progress</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253524713\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5341\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5341/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5341\">dafny-lang#5341</a>)"}},{"before":"f5ab9bd1397e5ac6be88070984bcbb6dcbae3616","after":"614bb0322676bd426b897382d6978f79424f7ef5","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-05-01T18:49: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":"Fix working directory and population steps","shortMessageHtmlLink":"Fix working directory and population steps"}},{"before":"bd854d36ad061c4abd7b47665c0d5018bad57474","after":null,"ref":"refs/heads/revert-feat-rust-operators-again","pushedAt":"2024-05-01T03:10:00.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":"36a6cc0ee2c44ed8e835ae75adc2982ce48883fd","after":"bd854d36ad061c4abd7b47665c0d5018bad57474","ref":"refs/heads/revert-feat-rust-operators-again","pushedAt":"2024-04-30T21:55:37.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":"36a6cc0ee2c44ed8e835ae75adc2982ce48883fd","ref":"refs/heads/revert-feat-rust-operators-again","pushedAt":"2024-04-30T21:29:55.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":"Revert \"Feat rust operators (#5380)\"\n\nThis reverts commit 0b629eae7a518d5b735a0f34519dcb85ad5fb996.","shortMessageHtmlLink":"Revert \"Feat rust operators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2269615504\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5380\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5380/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5380\">dafny-lang#5380</a>)\""}},{"before":"60eaa2b2ab4394d191d9643acb875fcdc21e9852","after":"f5ab9bd1397e5ac6be88070984bcbb6dcbae3616","ref":"refs/heads/daily-ci-to-soak-flaky-tests","pushedAt":"2024-04-30T21:24:46.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"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXapD5QA","startCursor":null,"endCursor":null}},"title":"Activity · robin-aws/dafny"}