{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":665324893,"defaultBranch":"main","name":"verusfmt","ownerLogin":"verus-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-12T00:55:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719865234.0","currentOid":""},"activityList":{"items":[{"before":"f97903fcc8738614c0e2ef13e49a5fb32aeabeff","after":null,"ref":"refs/heads/verus-snapshot-update","pushedAt":"2024-07-01T20:20:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"}},{"before":"ea64a79df7e887e7154dd658f1e0d3a91b93567c","after":"1fab8254442c1916e40cacd97dbeebbfeb2656c4","ref":"refs/heads/main","pushedAt":"2024-07-01T20:20:33.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"Verus snapshot update (#77)\n\nAutomated verus snapshot update by GitHub Actions.","shortMessageHtmlLink":"Verus snapshot update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2382554736\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/77\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/77/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/77\">#77</a>)"}},{"before":null,"after":"f97903fcc8738614c0e2ef13e49a5fb32aeabeff","ref":"refs/heads/verus-snapshot-update","pushedAt":"2024-07-01T00:59:52.000Z","pushType":"branch_creation","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":"chore: update to latest Verus snapshot","shortMessageHtmlLink":"chore: update to latest Verus snapshot"}},{"before":"851a26a31b78feac624472fb3d76d54904babce7","after":"ea64a79df7e887e7154dd658f1e0d3a91b93567c","ref":"refs/heads/main","pushedAt":"2024-06-26T21:11:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"chore: update ci","shortMessageHtmlLink":"chore: update ci"}},{"before":null,"after":"fcc32f2a75b3778b22c5f92737b9ec5e7d65db39","ref":"refs/heads/double-newline","pushedAt":"2024-06-26T20:40:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"f5cf706fd149720638b891e5b28c79aa72c79884","after":null,"ref":"refs/heads/parno-patch-1","pushedAt":"2024-06-26T19:50:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"}},{"before":"639b3fddddd9fb2f44d4f0eb7b739246c03e4e6c","after":null,"ref":"refs/heads/debug-type-formatting","pushedAt":"2024-06-26T19:49:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"}},{"before":"66570a0b9c8d9187161c0fb3dc08209d3ea3eb70","after":null,"ref":"refs/heads/ironsht","pushedAt":"2024-06-26T19:49:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"}},{"before":"0e4b8d93fe60de24234a0eb16464b5e0928364b1","after":"851a26a31b78feac624472fb3d76d54904babce7","ref":"refs/heads/main","pushedAt":"2024-06-25T19:18:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"chore: bump the patch version","shortMessageHtmlLink":"chore: bump the patch version"}},{"before":"0952bd23eefdbafa41e9d5a895f50614af1dd8ac","after":null,"ref":"refs/heads/attr-parse-failure","pushedAt":"2024-06-25T18:02:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"}},{"before":"1ab53568caab2987dee27a7fe99e99900e137205","after":"0e4b8d93fe60de24234a0eb16464b5e0928364b1","ref":"refs/heads/main","pushedAt":"2024-06-25T18:02:44.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"Support attributes in `broadcast group`s (#75)","shortMessageHtmlLink":"Support attributes in <code>broadcast group</code>s (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2354378260\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/75\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/75/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/75\">#75</a>)"}},{"before":"dfc350ee6db715c65819cc875ba6969d175f8a42","after":"0952bd23eefdbafa41e9d5a895f50614af1dd8ac","ref":"refs/heads/attr-parse-failure","pushedAt":"2024-06-15T20:38:20.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":"Support attributes in broadcast groups","shortMessageHtmlLink":"Support attributes in broadcast groups"}},{"before":"1ac112a55e910cd6ca35d2c765ecd284daafe3c8","after":"1ab53568caab2987dee27a7fe99e99900e137205","ref":"refs/heads/main","pushedAt":"2024-06-15T20:23:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"chore: bump the patch version","shortMessageHtmlLink":"chore: bump the patch version"}},{"before":null,"after":"dfc350ee6db715c65819cc875ba6969d175f8a42","ref":"refs/heads/attr-parse-failure","pushedAt":"2024-06-15T01:23:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaybosamiya-ms","name":"Jay Bosamiya (Microsoft)","path":"/jaybosamiya-ms","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/171180729?s=80&v=4"},"commit":{"message":"Support attributes in broadcast groups","shortMessageHtmlLink":"Support attributes in broadcast groups"}},{"before":"0b0aa8d04c66d73b07aaa9557fa5bc545af156ab","after":"1ac112a55e910cd6ca35d2c765ecd284daafe3c8","ref":"refs/heads/main","pushedAt":"2024-06-04T15:44:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Support parsing empty function requires/ensures/... clauses (#73)","shortMessageHtmlLink":"Support parsing empty function requires/ensures/... clauses (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2329484252\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/73\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/73/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/73\">#73</a>)"}},{"before":"4a450c5aa83ff1e7d86eef0915404293d82df53c","after":"0b0aa8d04c66d73b07aaa9557fa5bc545af156ab","ref":"refs/heads/main","pushedAt":"2024-06-01T03:58:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"chore: bump the patch version","shortMessageHtmlLink":"chore: bump the patch version"}},{"before":"53c0590d1066dd94b83a898d9214c94cf0f3701e","after":"4a450c5aa83ff1e7d86eef0915404293d82df53c","ref":"refs/heads/main","pushedAt":"2024-06-01T03:54:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Fix incorrect parsing of strings containing `verus!{` (#72)","shortMessageHtmlLink":"Fix incorrect parsing of strings containing <code>verus!{</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2324326893\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/72\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/72/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/72\">#72</a>)"}},{"before":"fd245176cbcbd618da21c21da8009f3d66093777","after":null,"ref":"refs/heads/seq-macro","pushedAt":"2024-05-30T00:49:16.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":"c001b55fcf6713dabd79db113992a788069b2c91","after":"53c0590d1066dd94b83a898d9214c94cf0f3701e","ref":"refs/heads/main","pushedAt":"2024-05-30T00:49:15.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Automatic formatting for the `seq!` macro (#71)","shortMessageHtmlLink":"Automatic formatting for the <code>seq!</code> macro (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2322173749\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/71\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/71/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/71\">#71</a>)"}},{"before":"a41841c2c8f09929ca5917af5acd2492ee0a048c","after":"fd245176cbcbd618da21c21da8009f3d66093777","ref":"refs/heads/seq-macro","pushedAt":"2024-05-29T22:13:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Remove unnecessary parser complexity\n\nThis `!\"=\"` is necessary for general macro calls, to prevent\naccidentally considering `foo != bar` as if it were a macro call going\n`foo! =` and then getting confused. However, both the `calc` and `seq`\nmacros explicitly check for the curly braces, so don't actually need the\nnegative forward lookahead.","shortMessageHtmlLink":"Remove unnecessary parser complexity"}},{"before":null,"after":"a41841c2c8f09929ca5917af5acd2492ee0a048c","ref":"refs/heads/seq-macro","pushedAt":"2024-05-29T01:34:16.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":"Update snapshots with `seq!` formatting","shortMessageHtmlLink":"Update snapshots with <code>seq!</code> formatting"}},{"before":"fc69161cbdeb33ed2f3e6af75ce948acea5e2bcc","after":null,"ref":"refs/heads/verus-snapshot-update","pushedAt":"2024-05-27T23:48:43.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":"b9314d6413e86795925b3a213d8443498e2d768c","after":"c001b55fcf6713dabd79db113992a788069b2c91","ref":"refs/heads/main","pushedAt":"2024-05-27T23:48:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Verus snapshot update (#70)\n\nAutomated verus snapshot update by GitHub Actions.","shortMessageHtmlLink":"Verus snapshot update (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2318013326\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/70\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/70/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/70\">#70</a>)"}},{"before":"3b80a79e8f415eac6dc60e6e8ef7542eef6fc8f7","after":"fc69161cbdeb33ed2f3e6af75ce948acea5e2bcc","ref":"refs/heads/verus-snapshot-update","pushedAt":"2024-05-27T23:46:56.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":"chore: update to latest Verus snapshot","shortMessageHtmlLink":"chore: update to latest Verus snapshot"}},{"before":"e03e1720dcbd20f92379b9323ebadc6c91a3825e","after":"b9314d6413e86795925b3a213d8443498e2d768c","ref":"refs/heads/main","pushedAt":"2024-05-27T23:46:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"Reduce frequency of snapshot refresh CI action\n\nChange from weekly to monthly","shortMessageHtmlLink":"Reduce frequency of snapshot refresh CI action"}},{"before":null,"after":"3b80a79e8f415eac6dc60e6e8ef7542eef6fc8f7","ref":"refs/heads/verus-snapshot-update","pushedAt":"2024-05-27T00:38:27.000Z","pushType":"branch_creation","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":"chore: update to latest Verus snapshot","shortMessageHtmlLink":"chore: update to latest Verus snapshot"}},{"before":"f0b43a705ef4a36259433a9b1e3f9582cd74f07f","after":"e03e1720dcbd20f92379b9323ebadc6c91a3825e","ref":"refs/heads/main","pushedAt":"2024-05-24T04:45:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaybosamiya","name":"Jay Bosamiya","path":"/jaybosamiya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5683582?s=80&v=4"},"commit":{"message":"chore: bump the patch version","shortMessageHtmlLink":"chore: bump the patch version"}},{"before":"d7a6da9868d0cbf8f4bfb3b124530ab7d19f4a47","after":"f0b43a705ef4a36259433a9b1e3f9582cd74f07f","ref":"refs/heads/main","pushedAt":"2024-05-23T13:14:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Update CHANGELOG.md","shortMessageHtmlLink":"Update CHANGELOG.md"}},{"before":null,"after":"f5cf706fd149720638b891e5b28c79aa72c79884","ref":"refs/heads/parno-patch-1","pushedAt":"2024-05-23T13:14:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Update CHANGELOG.md","shortMessageHtmlLink":"Update CHANGELOG.md"}},{"before":"fe582acf15a4db2f6087f77084db8067f5dd3dfb","after":"d7a6da9868d0cbf8f4bfb3b124530ab7d19f4a47","ref":"refs/heads/main","pushedAt":"2024-05-23T13:13:46.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Support `const-arg` grammar rule (#69)\n\nFor const generic arguments, e.g.:\r\n\r\n```\r\nfn foo(arg: ConstBytes<2>) -> (res: ConstBytes<4>) {\r\n    let x: ConstBytes<3> = bar();\r\n    baz();\r\n}\r\n```\r\n\r\nI added a small test.","shortMessageHtmlLink":"Support <code>const-arg</code> grammar rule (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312081098\" data-permission-text=\"Title is private\" data-url=\"https://github.com/verus-lang/verusfmt/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/verus-lang/verusfmt/pull/69/hovercard\" href=\"https://github.com/verus-lang/verusfmt/pull/69\">#69</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEdCUzZwA","startCursor":null,"endCursor":null}},"title":"Activity · verus-lang/verusfmt"}