{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":756736201,"defaultBranch":"main","name":"blog","ownerLogin":"verus-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-13T07:55:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1707844076.0","currentOid":""},"activityList":{"items":[{"before":"cf58304e7a6063b80bffc2a41866185b3f5f3d33","after":"697dce950585142d6b465e7737761220a48e58c3","ref":"refs/heads/gh-pages","pushedAt":"2024-02-18T16:06:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"646d50a85875908d985ed5a129a5d92b34e64486","after":"53c4306f9273912dd03e344d4370045dd1c61817","ref":"refs/heads/main","pushedAt":"2024-02-18T16:06:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"hide the announcements in the per-article views","shortMessageHtmlLink":"hide the announcements in the per-article views"}},{"before":"3b867b0127f5a3e8b81a11bd228002548551da71","after":"cf58304e7a6063b80bffc2a41866185b3f5f3d33","ref":"refs/heads/gh-pages","pushedAt":"2024-02-18T16:00:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"19311108be0b8de1e6f18a326623e730c416c603","after":"646d50a85875908d985ed5a129a5d92b34e64486","ref":"refs/heads/main","pushedAt":"2024-02-18T16:00:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"add introduction from guide https://github.com/verus-lang/verus/blob/main/source/docs/guide/src/overview.md?plain=1 as post\n\nCo-Authored-By: Chris Hawblitzel (Microsoft) <Chris.Hawblitzel@microsoft.com>","shortMessageHtmlLink":"add introduction from guide <a href=\"https://github.com/verus-lang/verus/blob/main/source/docs/guide/src/overview.md?plain=1\">https://github.com/verus-lang/verus/blob/…</a>"}},{"before":"f8fe412cbe8c4bfc218a2f2dcd9dd21178515dd1","after":"3b867b0127f5a3e8b81a11bd228002548551da71","ref":"refs/heads/gh-pages","pushedAt":"2024-02-16T13:53:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"f90703565ef39608c22c430e19bb3866850da979","after":"19311108be0b8de1e6f18a326623e730c416c603","ref":"refs/heads/main","pushedAt":"2024-02-16T13:53:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"add announcements from zulip","shortMessageHtmlLink":"add announcements from zulip"}},{"before":"9f04d3dd291dc121de74e841a27b12eb8e2c7203","after":"f8fe412cbe8c4bfc218a2f2dcd9dd21178515dd1","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T17:16:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"066a47f53af4b4f920d55d8599df32737824e5f5","after":"f90703565ef39608c22c430e19bb3866850da979","ref":"refs/heads/main","pushedAt":"2024-02-13T17:16:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"add DRAFT watermark to draft blog","shortMessageHtmlLink":"add DRAFT watermark to draft blog"}},{"before":"4401cccc8fac1af64b25aae47666ba42ae84eeba","after":"9f04d3dd291dc121de74e841a27b12eb8e2c7203","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T17:08:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"066a47f53af4b4f920d55d8599df32737824e5f5","after":null,"ref":"refs/heads/minor-infra-updates","pushedAt":"2024-02-13T17:07:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"}},{"before":"25df2b4a0559e368e66b661fff6313c9e1b2d645","after":"066a47f53af4b4f920d55d8599df32737824e5f5","ref":"refs/heads/main","pushedAt":"2024-02-13T17:07:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Improve README documentation","shortMessageHtmlLink":"Improve README documentation"}},{"before":"c76993daac5a94edae7de3930fa556b273d3bb30","after":"066a47f53af4b4f920d55d8599df32737824e5f5","ref":"refs/heads/minor-infra-updates","pushedAt":"2024-02-13T17:07:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Improve README documentation","shortMessageHtmlLink":"Improve README documentation"}},{"before":null,"after":"c76993daac5a94edae7de3930fa556b273d3bb30","ref":"refs/heads/minor-infra-updates","pushedAt":"2024-02-13T17:03:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Improve README documentation","shortMessageHtmlLink":"Improve README documentation"}},{"before":"0ddd9f9a73f15e503fb52396f0e3035c85be5667","after":"4401cccc8fac1af64b25aae47666ba42ae84eeba","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T14:51:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"84c5470d5760f61cd8fd2f1dfcf3a22ddf8c31db","after":"25df2b4a0559e368e66b661fff6313c9e1b2d645","ref":"refs/heads/main","pushedAt":"2024-02-13T14:51:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"rename mis-named post","shortMessageHtmlLink":"rename mis-named post"}},{"before":"fb8259decbd0fa992c44645eb0c7ab254c017da2","after":"0ddd9f9a73f15e503fb52396f0e3035c85be5667","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T14:48:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"028515acd69f397da0b66f6b9b65241b2dd7da9c","after":"84c5470d5760f61cd8fd2f1dfcf3a22ddf8c31db","ref":"refs/heads/main","pushedAt":"2024-02-13T14:48:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"some more style tweaks","shortMessageHtmlLink":"some more style tweaks"}},{"before":"3b859531795e703c754de582118413fd9e733d94","after":"fb8259decbd0fa992c44645eb0c7ab254c017da2","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T14:37:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"0a03fd4879fc946d58d0c0c1b6a7b5f61d169313","after":"028515acd69f397da0b66f6b9b65241b2dd7da9c","ref":"refs/heads/main","pushedAt":"2024-02-13T14:36:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"add minimal README","shortMessageHtmlLink":"add minimal README"}},{"before":"16b553ba4f64c40946dd42ca40d7a7d8c2c56188","after":"3b859531795e703c754de582118413fd9e733d94","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T14:34:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"434fc2c7b0a612f08a63ef60215aeb68a0b6e728","after":"0a03fd4879fc946d58d0c0c1b6a7b5f61d169313","ref":"refs/heads/main","pushedAt":"2024-02-13T14:33:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"add draft of introduction to Verus","shortMessageHtmlLink":"add draft of introduction to Verus"}},{"before":"42a5d1a80cdc1583a12c3db675fc6f72ae593a55","after":"16b553ba4f64c40946dd42ca40d7a7d8c2c56188","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T11:13:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"26d280b13fdef199f8a39683651bffb6f9ee32a2","after":"434fc2c7b0a612f08a63ef60215aeb68a0b6e728","ref":"refs/heads/main","pushedAt":"2024-02-13T11:13:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"responsive down to phones","shortMessageHtmlLink":"responsive down to phones"}},{"before":"7f4b02ffa3322c8f0227faf44dbbf03f69ff35d7","after":"42a5d1a80cdc1583a12c3db675fc6f72ae593a55","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T11:07:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"87b4e6119a2f547850798df118f7287dabba9a05","after":"26d280b13fdef199f8a39683651bffb6f9ee32a2","ref":"refs/heads/main","pushedAt":"2024-02-13T11:06:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"hide announcements on small screens","shortMessageHtmlLink":"hide announcements on small screens"}},{"before":"b9349b300dd504df6a9c7d6004458a255f55eea0","after":"7f4b02ffa3322c8f0227faf44dbbf03f69ff35d7","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T10:57:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"fe225350f060cfdbc8c91f4edf4859493eda0b77","after":"87b4e6119a2f547850798df118f7287dabba9a05","ref":"refs/heads/main","pushedAt":"2024-02-13T10:56:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"bump zola deploy action","shortMessageHtmlLink":"bump zola deploy action"}},{"before":"7e3d9d49895bc30f0c060c0ae6cc90a67b21f898","after":"b9349b300dd504df6a9c7d6004458a255f55eea0","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T10:51:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}},{"before":"5ae307f2fee905dbfacbafbb146e9da12f3b74c3","after":"fe225350f060cfdbc8c91f4edf4859493eda0b77","ref":"refs/heads/main","pushedAt":"2024-02-13T10:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal-b","name":"Andrea Lattuada (VMware)","path":"/utaal-b","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/154427257?s=80&v=4"},"commit":{"message":"some more styling and support for announcements","shortMessageHtmlLink":"some more styling and support for announcements"}},{"before":"e7ec1323f518ae9d3155e208a71d2bffde956fa5","after":"7e3d9d49895bc30f0c060c0ae6cc90a67b21f898","ref":"refs/heads/gh-pages","pushedAt":"2024-02-13T09:37:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy verus-lang/blog to verus-lang/blog:gh-pages","shortMessageHtmlLink":"Deploy verus-lang/blog to verus-lang/blog:gh-pages"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD_e3aLAA","startCursor":null,"endCursor":null}},"title":"Activity · verus-lang/blog"}