{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":33259867,"defaultBranch":"master","name":"boogie","ownerLogin":"boogie-org","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-01T16:46:31.000Z","ownerAvatar":"https://github.com/avatars/u/11760572?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726141268.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a4962c24f422dc54c33b79206909635484a12269","ref":"refs/heads/abd_2pc","pushedAt":"2024-09-12T08:19:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"unfinished examples","shortMessageHtmlLink":"unfinished examples"}},{"before":"16c53d926bf3300dfb6ed4ffb6f2c76f82b605df","after":"50ef2fb38f0c8fabf524da0fb8ac8363ffb70158","ref":"refs/heads/master","pushedAt":"2024-09-11T21:11:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Replace AddAssignedVariables with AddAssignedIdentifiers (#945)\n\nReplace AddAssignedVariables with AddAssignedIdentifiers, because the\r\nlatter can already be computed before resolution, which is useful for\r\nDafny.","shortMessageHtmlLink":"Replace AddAssignedVariables with AddAssignedIdentifiers (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2516923852\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/945\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/945/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/945\">#945</a>)"}},{"before":"fee7d4c93bcaae094650143b231e75165769ce1a","after":"9bd09511f6a507b2bafd216cf08853fcb1ac4cad","ref":"refs/heads/abd2","pushedAt":"2024-08-27T13:48:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"added comments","shortMessageHtmlLink":"added comments"}},{"before":"cfb62049765c1906367ec8b2a233f33d10c4095c","after":"fee7d4c93bcaae094650143b231e75165769ce1a","ref":"refs/heads/abd2","pushedAt":"2024-08-26T12:19:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"36308be40ed08820f4c00a12c4aecba9c04c74d1","after":"cfb62049765c1906367ec8b2a233f33d10c4095c","ref":"refs/heads/abd2","pushedAt":"2024-08-23T14:53:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"06eca7bda356054204d405efa8e51598b7511352","after":"36308be40ed08820f4c00a12c4aecba9c04c74d1","ref":"refs/heads/abd2","pushedAt":"2024-08-23T14:47:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"remove global mem","shortMessageHtmlLink":"remove global mem"}},{"before":"9fecd78e31eef49639de7e85f1003ead46f96301","after":"06eca7bda356054204d405efa8e51598b7511352","ref":"refs/heads/abd2","pushedAt":"2024-08-23T14:46:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"removed coordinator","shortMessageHtmlLink":"removed coordinator"}},{"before":"fe84a77bfc5948900d5c98a55d099f551cc61592","after":"9fecd78e31eef49639de7e85f1003ead46f96301","ref":"refs/heads/abd2","pushedAt":"2024-08-23T14:41:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"mover update","shortMessageHtmlLink":"mover update"}},{"before":"98ca1c6cb14e388a42dacbcf0e9be4b455404b88","after":"fe84a77bfc5948900d5c98a55d099f551cc61592","ref":"refs/heads/abd2","pushedAt":"2024-08-23T14:41:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"518b88c46e43694e2b972353fb340e9a981e8808","after":"98ca1c6cb14e388a42dacbcf0e9be4b455404b88","ref":"refs/heads/abd2","pushedAt":"2024-08-23T12:26:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"updates","shortMessageHtmlLink":"updates"}},{"before":"88d80911bea256c5627da25329a4291c829c8580","after":"518b88c46e43694e2b972353fb340e9a981e8808","ref":"refs/heads/abd2","pushedAt":"2024-08-23T12:22:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"added movers","shortMessageHtmlLink":"added movers"}},{"before":null,"after":"88d80911bea256c5627da25329a4291c829c8580","ref":"refs/heads/abd2","pushedAt":"2024-08-23T10:47:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"initial file","shortMessageHtmlLink":"initial file"}},{"before":"e7a229e912c8a79ddbd1fe9a47f6270711693716","after":"16c53d926bf3300dfb6ed4ffb6f2c76f82b605df","ref":"refs/heads/master","pushedAt":"2024-08-19T10:29:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Change logic related to disposed checkerPools (#941)","shortMessageHtmlLink":"Change logic related to disposed checkerPools (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470077941\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/941\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/941/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/941\">#941</a>)"}},{"before":"b337ffc967684880360ee52eb0797ca89107b349","after":"e7a229e912c8a79ddbd1fe9a47f6270711693716","ref":"refs/heads/master","pushedAt":"2024-08-19T09:41:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Implement support for triggers with lean-auto (#942)\n\nUpdates lean-auto dependency to get this functionality, and Lean itself\r\nalong the way. Improve some messages, too.","shortMessageHtmlLink":"Implement support for triggers with lean-auto (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2470932988\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/942\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/942/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/942\">#942</a>)"}},{"before":"ab87a4ff1b92a5ab0c95bace721e966375461171","after":"82898df4793a8a4ad00a84c5416758556e4b78df","ref":"refs/heads/fix-ci-checkerpool-disposed","pushedAt":"2024-08-15T18:07:13.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://github.com/avatars/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-ci-checkerpool-disposed","shortMessageHtmlLink":"Merge branch 'master' into fix-ci-checkerpool-disposed"}},{"before":"20414e6f5ddfa5c6013385179b6de681658135fb","after":"b337ffc967684880360ee52eb0797ca89107b349","ref":"refs/heads/master","pushedAt":"2024-08-15T16:28:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Optimize blocks (#919)\n\n### Changes\r\n\r\n1. Perform block coalescing for each split\r\n2. Add a post-split simplification that removes empty blocks with at\r\nmost one outgoing or incoming edge\r\n\r\n### Testing\r\n- Updated the test `AssumeFalseSplit.bpl` to take into account\r\nsimplification (2)","shortMessageHtmlLink":"Optimize blocks (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2427916762\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/919\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/919/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/919\">#919</a>)"}},{"before":"004e283ce42917fb08b903ec96192b2aacd9a13e","after":"20414e6f5ddfa5c6013385179b6de681658135fb","ref":"refs/heads/master","pushedAt":"2024-08-14T22:29:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"shazqadeer","name":"Shaz Qadeer","path":"/shazqadeer","primaryAvatarUrl":"https://github.com/avatars/u/7672086?s=80&v=4"},"commit":{"message":"ExtractLoops cleanup (#939)\n\n- Removed some options that were added specifically for Corral\r\n- Eliminated dependency of ExtractLoops on RecursionBound in favor of\r\nLoopUnrollCount\r\n- Added documentation for /extractLoops\r\n\r\nCo-authored-by: Shaz Qadeer <shaz@meta.com>","shortMessageHtmlLink":"ExtractLoops cleanup (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2466609837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/939\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/939/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/939\">#939</a>)"}},{"before":null,"after":"d89e71ee910b2be7ef0fce69788ba9d982c45183","ref":"refs/heads/extractLoops-cleanup","pushedAt":"2024-08-14T19:00:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"shazqadeer","name":"Shaz Qadeer","path":"/shazqadeer","primaryAvatarUrl":"https://github.com/avatars/u/7672086?s=80&v=4"},"commit":{"message":"first commit","shortMessageHtmlLink":"first commit"}},{"before":"a3cc4bae85db7e585b569082a2aae3f704f4d074","after":"004e283ce42917fb08b903ec96192b2aacd9a13e","ref":"refs/heads/master","pushedAt":"2024-08-13T16:06:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Resolve Boogie test deadlocks (#932)\n\n### Changes\r\n- Made a change to the Dispose method of\r\n`CustomStackSizePoolTaskScheduler.cs`, so it now interrupts all its\r\nthread instead of joining them. I think this was causing the entire\r\nBoogie process to hang after it was finished, causing tests to deadlock.\r\n- Add `blame-hang-timeout` to the `dotnet test` invocation that runs the\r\nNUnit tests, which allows identifying which test fails when the unit\r\ntests timeout.\r\n- Add an undocumented option `/processTimeLimit` that can be used by\r\ntests to let Boogie stop itself after a certain timespan, allowing\r\ndevelopers to get a stacktrace of where Boogie was at the point of\r\ntimeout.\r\n- Remove APIs for cancelling requests, which were only available\r\nprogrammatically and not used by Dafny.\r\n- Fix a bug that could cause a concurrency related exception in\r\n`QuantifierInstantiationInfo`, which was introduced by\r\nhttps://github.com/boogie-org/boogie/pull/862.\r\n- Use an invariant culture somewhere in printing debug output, so the\r\nBoogie tests locally pass on my machine, despite my European culture.\r\n- Some renaming of variations of VerifyImplementation, to make the\r\ndifferences more clear.\r\n- Configure a 30 seconds timelimit per VC for all Boogie tests by\r\ndefault. Added an exception for a few slow tests\r\n- Let Boogie cancel checking of a VC after its timelimit has passed,\r\nregardless of what the solver is doing\r\n\r\n### Testing\r\n- Did not add any additional tests\r\n- Let the test-suite succeed without retries 4 times, in an attempt to\r\ndetermine that it resolves the test instabilities we've had.","shortMessageHtmlLink":"Resolve Boogie test deadlocks (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2455766895\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/932\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/932/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/932\">#932</a>)"}},{"before":"44f0dff3c149b34998e541cd9c278eae74b440f2","after":"ab87a4ff1b92a5ab0c95bace721e966375461171","ref":"refs/heads/fix-ci-checkerpool-disposed","pushedAt":"2024-08-13T02:27:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://github.com/avatars/u/3601079?s=80&v=4"},"commit":{"message":"Map the disposed issue to OperationCanceledException, which should be captured.","shortMessageHtmlLink":"Map the disposed issue to OperationCanceledException, which should be…"}},{"before":null,"after":"44f0dff3c149b34998e541cd9c278eae74b440f2","ref":"refs/heads/fix-ci-checkerpool-disposed","pushedAt":"2024-08-13T01:18:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://github.com/avatars/u/3601079?s=80&v=4"},"commit":{"message":"Fix: Spurious message of checkerpool already disposed.\nLooking at the CI result of https://github.com/dafny-lang/dafny/actions/runs/10330235840/job/28615735562?pr=5675, I see like often:\n```\nSystem.Exception: CheckerPool was already disposed\n         at VC.CheckerPool.FindCheckerFor(Program program, Split split, CancellationToken cancellationToken)\n         at Microsoft.Boogie.VerificationTask.StartRun(CancellationToken cancellationToken)+MoveNext()\n         at Microsoft.Boogie.VerificationTask.StartRun(CancellationToken\n```\nThis PR hopefully fixes this message","shortMessageHtmlLink":"Fix: Spurious message of checkerpool already disposed."}},{"before":"fa0c8712eb1893dd0170c11ba81e20ea8e6dfdb5","after":"a3cc4bae85db7e585b569082a2aae3f704f4d074","ref":"refs/heads/master","pushedAt":"2024-08-12T21:59:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Extract classes out of DeadVarElim (#935)\n\nExtract classes out of DeadVarElim","shortMessageHtmlLink":"Extract classes out of DeadVarElim (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2460715660\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/935\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/935/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/935\">#935</a>)"}},{"before":"849af6c25b4523b56106552eff9676e1f762d9f2","after":"fa0c8712eb1893dd0170c11ba81e20ea8e6dfdb5","ref":"refs/heads/master","pushedAt":"2024-08-08T10:55:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"When possible, report line numbers of splits when using `/trace` (#927)\n\n### Changes\r\n- When possible, report line numbers of splits when using `/trace`\r\n\r\n### Testing\r\n- One existing test has been updated to check for the new line numbers","shortMessageHtmlLink":"When possible, report line numbers of splits when using <code>/trace</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2441850112\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/927\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/927/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/927\">#927</a>)"}},{"before":"52b5fd542c8dd549db60d43f308b3935bd9e1ba8","after":"18ad66caf3c1b08e2925819a9ee283c22df31a89","ref":"refs/heads/2PC-Interval","pushedAt":"2024-08-07T17:07:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"works","shortMessageHtmlLink":"works"}},{"before":"60d7d59e6e6b1217f615406b979e1af70d79befb","after":"52b5fd542c8dd549db60d43f308b3935bd9e1ba8","ref":"refs/heads/2PC-Interval","pushedAt":"2024-08-07T16:59:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"stuck","shortMessageHtmlLink":"stuck"}},{"before":"7e121eeeb10bc03a139586a76fdb867f1e003fed","after":"849af6c25b4523b56106552eff9676e1f762d9f2","ref":"refs/heads/master","pushedAt":"2024-08-07T15:21:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://github.com/avatars/u/3121201?s=80&v=4"},"commit":{"message":"Prevent creating return commands with empty tokens when copying blocks (#926)","shortMessageHtmlLink":"Prevent creating return commands with empty tokens when copying blocks ("}},{"before":"5981d36533e1babdbce7e70afa9a81191b07d5f2","after":"60d7d59e6e6b1217f615406b979e1af70d79befb","ref":"refs/heads/2PC-Interval","pushedAt":"2024-08-07T14:07:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"NamrathaG","name":"NamrathaG","path":"/NamrathaG","primaryAvatarUrl":"https://github.com/avatars/u/26926142?s=80&v=4"},"commit":{"message":"loop inv failing","shortMessageHtmlLink":"loop inv failing"}},{"before":"45dafebcb6b537afb9f61af394c2eb4db8ac0c05","after":"7e121eeeb10bc03a139586a76fdb867f1e003fed","ref":"refs/heads/master","pushedAt":"2024-08-05T22:54:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"shazqadeer","name":"Shaz Qadeer","path":"/shazqadeer","primaryAvatarUrl":"https://github.com/avatars/u/7672086?s=80&v=4"},"commit":{"message":"[Civl] Distributed snapshot sample (#931)\n\nCo-authored-by: Shaz Qadeer <shaz@meta.com>","shortMessageHtmlLink":"[Civl] Distributed snapshot sample (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449598937\" data-permission-text=\"Title is private\" data-url=\"https://github.com/boogie-org/boogie/issues/931\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/boogie-org/boogie/pull/931/hovercard\" href=\"https://github.com/boogie-org/boogie/pull/931\">#931</a>)"}},{"before":"bb93e183e01355d203161ff151cfef87d98a5f51","after":"21bc4271b731f98a81973553da503a5c501db4b8","ref":"refs/heads/snapshot-sg-fraction","pushedAt":"2024-08-05T22:45:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"shazqadeer","name":"Shaz Qadeer","path":"/shazqadeer","primaryAvatarUrl":"https://github.com/avatars/u/7672086?s=80&v=4"},"commit":{"message":"renaming","shortMessageHtmlLink":"renaming"}},{"before":"2c5b1d5e3edcb8ab63a308fec71267de9d8c4e66","after":"bb93e183e01355d203161ff151cfef87d98a5f51","ref":"refs/heads/snapshot-sg-fraction","pushedAt":"2024-08-05T20:10:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shazqadeer","name":"Shaz Qadeer","path":"/shazqadeer","primaryAvatarUrl":"https://github.com/avatars/u/7672086?s=80&v=4"},"commit":{"message":"revised sample","shortMessageHtmlLink":"revised sample"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMlQwODoxOToxNi4wMDAwMDBazwAAAAS0Gw1D","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xMlQwODoxOToxNi4wMDAwMDBazwAAAAS0Gw1D","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQyMDoxMDo1OC4wMDAwMDBazwAAAASSaHvA"}},"title":"Activity · boogie-org/boogie"}