{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":670360454,"defaultBranch":"main","name":"blog","ownerLogin":"Dargones","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-07-24T22:04:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21084554?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701998447.0","currentOid":""},"activityList":{"items":[{"before":"fc8b1ec83517ce8922885cb0ae37d10778734987","after":"ab7f7b00ff74ac4d4a6abede1b6027e8aa9828b8","ref":"refs/heads/main","pushedAt":"2024-06-26T17:44:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Include comments for provenance","shortMessageHtmlLink":"Include comments for provenance"}},{"before":"d713eb145a55bb1df6a95b97712561d49e4b0215","after":"fc8b1ec83517ce8922885cb0ae37d10778734987","ref":"refs/heads/main","pushedAt":"2024-03-21T19:50:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix brittleness test","shortMessageHtmlLink":"Fix brittleness test"}},{"before":"e9d9ef6639ebe327553d46ddabfe2ffd5bc563c1","after":"d713eb145a55bb1df6a95b97712561d49e4b0215","ref":"refs/heads/main","pushedAt":"2024-03-21T04:07:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix formatting","shortMessageHtmlLink":"Fix formatting"}},{"before":"6cb3c36882ae164d02c7cc930451e7e5ad1ac8a5","after":"e9d9ef6639ebe327553d46ddabfe2ffd5bc563c1","ref":"refs/heads/main","pushedAt":"2024-03-21T04:01:56.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"chore: Set Dafny as the default language for syntax highlighting (#32)","shortMessageHtmlLink":"chore: Set Dafny as the default language for syntax highlighting (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2081986217\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/blog/issues/32\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/blog/pull/32/hovercard\" href=\"https://github.com/dafny-lang/blog/pull/32\">daf…</a>"}},{"before":null,"after":"60c2ef66933fecf9fa75a0ec8a8ad6b0e48e558a","ref":"refs/heads/CaseSensitiveRenaming","pushedAt":"2023-12-08T01:20:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Rename to lowercase","shortMessageHtmlLink":"Rename to lowercase"}},{"before":"0319e474289eb1adab66927e750daaa5e42bfa10","after":"6cb3c36882ae164d02c7cc930451e7e5ad1ac8a5","ref":"refs/heads/main","pushedAt":"2023-12-08T01:18:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Test Generation Post (#9)\n\nThis is the latest version of the blog post about test generation. The\r\nexample from the post is now tested via GitHub actions both in this\r\nrepository and, in a shortened form, as part of Dafny's own CI.\r\n\r\n---------\r\n\r\nCo-authored-by: Aleksandr Fedchin <fedchina@amazon.com>\r\nCo-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>\r\nCo-authored-by: Fabio Madge <fabio@madge.me>","shortMessageHtmlLink":"Test Generation Post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1860440268\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/blog/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/blog/pull/9/hovercard\" href=\"https://github.com/dafny-lang/blog/pull/9\">dafny-lang#9</a>)"}},{"before":"678f5ae697e8952d1b92b11ef519c5fa23eb5184","after":"0319e474289eb1adab66927e750daaa5e42bfa10","ref":"refs/heads/main","pushedAt":"2023-12-08T00:51:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"case sensitive anme change","shortMessageHtmlLink":"case sensitive anme change"}},{"before":"36626afa65dd9dd5d8f520713c9fbe6615fe3a8e","after":"678f5ae697e8952d1b92b11ef519c5fa23eb5184","ref":"refs/heads/main","pushedAt":"2023-12-08T00:42:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Merge branch 'dafny-lang:main' into main","shortMessageHtmlLink":"Merge branch 'dafny-lang:main' into main"}},{"before":"e1cf47a501dd29e8dc37b3a4d3da9c89b3785e70","after":"36626afa65dd9dd5d8f520713c9fbe6615fe3a8e","ref":"refs/heads/main","pushedAt":"2023-12-07T21:33:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update RationalAdd.dfy.expect","shortMessageHtmlLink":"Update RationalAdd.dfy.expect"}},{"before":"b8e33ebdb8dde6935f822da7aae7ef99bfb292b7","after":"e1cf47a501dd29e8dc37b3a4d3da9c89b3785e70","ref":"refs/heads/main","pushedAt":"2023-12-07T21:26:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update verify.sh for proof brittleness","shortMessageHtmlLink":"Update verify.sh for proof brittleness"}},{"before":"e1276b41a6e1d40745f4f540d04c6c59a392fda3","after":"b8e33ebdb8dde6935f822da7aae7ef99bfb292b7","ref":"refs/heads/main","pushedAt":"2023-12-07T21:19:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update diff arguments to strip line endings","shortMessageHtmlLink":"Update diff arguments to strip line endings"}},{"before":"392cb1c68a3b5bcdd03024e7eb08ff7a88a827ab","after":"e1276b41a6e1d40745f4f540d04c6c59a392fda3","ref":"refs/heads/main","pushedAt":"2023-12-07T20:38:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Ignore whitespace in diff","shortMessageHtmlLink":"Ignore whitespace in diff"}},{"before":"6f6e68011d25aa8aeaf29c62ad761da7827f549e","after":"392cb1c68a3b5bcdd03024e7eb08ff7a88a827ab","ref":"refs/heads/main","pushedAt":"2023-12-07T20:30:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Run brittleness post tests first","shortMessageHtmlLink":"Run brittleness post tests first"}},{"before":"1452991d63ae012fae5ddb6a30df89bdbab35126","after":"6f6e68011d25aa8aeaf29c62ad761da7827f549e","ref":"refs/heads/main","pushedAt":"2023-12-07T20:12:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Push date to December 6th","shortMessageHtmlLink":"Push date to December 6th"}},{"before":"2beaa55a8f3617fe478315c0e7c2fdcaefcad956","after":"1452991d63ae012fae5ddb6a30df89bdbab35126","ref":"refs/heads/main","pushedAt":"2023-12-07T20:06:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update brittleness test to work with Dafny master","shortMessageHtmlLink":"Update brittleness test to work with Dafny master"}},{"before":"316524ddb215986dedb9b91230b00244305a9d3e","after":"2beaa55a8f3617fe478315c0e7c2fdcaefcad956","ref":"refs/heads/main","pushedAt":"2023-12-07T18:54:58.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Merge branch 'dafny-lang:main' into main","shortMessageHtmlLink":"Merge branch 'dafny-lang:main' into main"}},{"before":"30a6631142d0cc569849dc03f1d5aab38f418e69","after":"316524ddb215986dedb9b91230b00244305a9d3e","ref":"refs/heads/main","pushedAt":"2023-12-06T16:21:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"40e257cd6ab7c92049fb4a0eb686b221cfc1021c","after":"30a6631142d0cc569849dc03f1d5aab38f418e69","ref":"refs/heads/main","pushedAt":"2023-11-01T17:31:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Remove more first person","shortMessageHtmlLink":"Remove more first person"}},{"before":"40067227aa115398a4052d02cb777ab3b333f749","after":"40e257cd6ab7c92049fb4a0eb686b221cfc1021c","ref":"refs/heads/main","pushedAt":"2023-11-01T17:16:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"remove one unnecessary use of first person","shortMessageHtmlLink":"remove one unnecessary use of first person"}},{"before":"67998d6cea514985161b21a86b654c39a9666ba4","after":"40067227aa115398a4052d02cb777ab3b333f749","ref":"refs/heads/main","pushedAt":"2023-11-01T16:51:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"remove reference to \"industrial Dafny users\"","shortMessageHtmlLink":"remove reference to \"industrial Dafny users\""}},{"before":"1a17e4486a71e48b7b4398b871942ec50e7894bf","after":"67998d6cea514985161b21a86b654c39a9666ba4","ref":"refs/heads/main","pushedAt":"2023-11-01T16:48:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Minor fix","shortMessageHtmlLink":"Minor fix"}},{"before":"d95611f4af64f97166918a9991694ab7d5f673a8","after":"1a17e4486a71e48b7b4398b871942ec50e7894bf","ref":"refs/heads/main","pushedAt":"2023-11-01T16:45:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Merge branch 'dafny-lang:main' into main","shortMessageHtmlLink":"Merge branch 'dafny-lang:main' into main"}},{"before":"571c23a6a48484d11ef8b7aab8cd81e79bf77f4a","after":"d95611f4af64f97166918a9991694ab7d5f673a8","ref":"refs/heads/main","pushedAt":"2023-11-01T16:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix typo","shortMessageHtmlLink":"Fix typo"}},{"before":"b3b884d1bb9bef486405fba05478f7213c85a93c","after":"571c23a6a48484d11ef8b7aab8cd81e79bf77f4a","ref":"refs/heads/main","pushedAt":"2023-11-01T16:42:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Changes to the intro","shortMessageHtmlLink":"Changes to the intro"}},{"before":"b3dd67d2e38abafd63c5e4af44e379b622926750","after":"b3b884d1bb9bef486405fba05478f7213c85a93c","ref":"refs/heads/main","pushedAt":"2023-10-26T15:59:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix the time the post is released","shortMessageHtmlLink":"Fix the time the post is released"}},{"before":"8edc1230a94ce918941721179482b9e31e074e99","after":"b3dd67d2e38abafd63c5e4af44e379b622926750","ref":"refs/heads/main","pushedAt":"2023-10-26T15:58:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Push the date back to Nov 10","shortMessageHtmlLink":"Push the date back to Nov 10"}},{"before":"651ec00e8ada14d1c782d5c03e5ff99e78bf870d","after":"8edc1230a94ce918941721179482b9e31e074e99","ref":"refs/heads/main","pushedAt":"2023-10-25T19:32:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Try fixing .js cript","shortMessageHtmlLink":"Try fixing .js cript"}},{"before":"3b06f86917325d2139f6e329c97b30cb60053890","after":"651ec00e8ada14d1c782d5c03e5ff99e78bf870d","ref":"refs/heads/main","pushedAt":"2023-10-25T19:14:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Use node v21.1","shortMessageHtmlLink":"Use node v21.1"}},{"before":"49faa7ea54a3d47cb4c73f53df01ca5414a91400","after":"3b06f86917325d2139f6e329c97b30cb60053890","ref":"refs/heads/main","pushedAt":"2023-10-25T19:08:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Use github action for setting up node.js","shortMessageHtmlLink":"Use github action for setting up node.js"}},{"before":"f96c21e42593292cc55fd464f67101bc6659a24d","after":"49faa7ea54a3d47cb4c73f53df01ca5414a91400","ref":"refs/heads/main","pushedAt":"2023-10-25T19:02:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Use check instead of check_dafny","shortMessageHtmlLink":"Use check instead of check_dafny"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEcAPbAQA","startCursor":null,"endCursor":null}},"title":"Activity · Dargones/blog"}