{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":807248202,"defaultBranch":"master","name":"rust-dev","ownerLogin":"jaisnan","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-05-28T18:27:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/91620234?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726856715.0","currentOid":""},"activityList":{"items":[{"before":"b9e7943131926fa7c89bc2e61fbcaff016a6409a","after":"dc98adc111cba7fee0403d08305cb67077f637cf","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T20:06:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Carolyn Zech <cmzech@amazon.com>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"c437471d29856d9c9e9597797c7243ad092662ff","after":"b9e7943131926fa7c89bc2e61fbcaff016a6409a","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T20:06:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add link to https://github.com/model-checking/verify-rust-std","shortMessageHtmlLink":"Add link to <a href=\"https://github.com/model-checking/verify-rust-std\">https://github.com/model-checking/verify-rust-std</a>"}},{"before":"9ba66e6fb7b2065a84ab13713a1efe40fd07d16a","after":"c437471d29856d9c9e9597797c7243ad092662ff","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T19:09:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix wording","shortMessageHtmlLink":"Fix wording"}},{"before":"9bf408740850631a10f5a86c48679ea21a5d03e3","after":"9ba66e6fb7b2065a84ab13713a1efe40fd07d16a","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T18:42:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix type of function-contracts","shortMessageHtmlLink":"Fix type of function-contracts"}},{"before":"f11b9792a403b9a94c643b95e8ceafa7c29f58e7","after":"9bf408740850631a10f5a86c48679ea21a5d03e3","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T18:27:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Describe the steps","shortMessageHtmlLink":"Describe the steps"}},{"before":null,"after":"f11b9792a403b9a94c643b95e8ceafa7c29f58e7","ref":"refs/heads/fix-starter-code","pushedAt":"2024-09-20T18:25:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Improve documentation with links and additional steps","shortMessageHtmlLink":"Improve documentation with links and additional steps"}},{"before":"c18d6d5cd4612d3ded8d29a6b42ac490cf883281","after":"98f213c6599e1afa2fb7f309a6d3d6dda636460f","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-13T19:21:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Michael Tautschnig <mt@debian.org>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"5ba1b8559f8e3e77441c500577183b6740915714","after":"c18d6d5cd4612d3ded8d29a6b42ac490cf883281","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-10T15:34:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add comments","shortMessageHtmlLink":"Add comments"}},{"before":"a181e29a4a1715afa8fae70c49675e3c6721cdab","after":"5ba1b8559f8e3e77441c500577183b6740915714","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-10T14:48:52.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into add-script-to-automate-build","shortMessageHtmlLink":"Merge branch 'main' into add-script-to-automate-build"}},{"before":"739d8989ad20cca8a9265b2b2541fcacc599f207","after":"a181e29a4a1715afa8fae70c49675e3c6721cdab","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T22:37:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into add-script-to-automate-build","shortMessageHtmlLink":"Merge branch 'main' into add-script-to-automate-build"}},{"before":"aba4ecfa84ee31728bb02aa7ec588c839b695d89","after":"739d8989ad20cca8a9265b2b2541fcacc599f207","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T21:27:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix step for without -p","shortMessageHtmlLink":"Fix step for without -p"}},{"before":"329ef6a2bb31a9cff4012610627409ff28f7d1f5","after":"aba4ecfa84ee31728bb02aa7ec588c839b695d89","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T21:21:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Fix workflow names","shortMessageHtmlLink":"Fix workflow names"}},{"before":null,"after":"9ddc42c336fee3448c75455eeaf0996c4c70d115","ref":"refs/heads/Remove-if","pushedAt":"2024-09-06T21:08:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Prevent skipping due to \"if\" statement","shortMessageHtmlLink":"Prevent skipping due to \"if\" statement"}},{"before":"d3009c3db14e5e226d94acc7680339aeb5753044","after":"329ef6a2bb31a9cff4012610627409ff28f7d1f5","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T21:06:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Rename check name","shortMessageHtmlLink":"Rename check name"}},{"before":"882a0658601a04149b2d098a962137a56a83db3b","after":"d3009c3db14e5e226d94acc7680339aeb5753044","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T20:55:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add --path to kani.yml check","shortMessageHtmlLink":"Add --path to kani.yml check"}},{"before":"70f9d40fa90af32cfbf34d868830c8e31620ac1c","after":"882a0658601a04149b2d098a962137a56a83db3b","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T20:45:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add CI workflow to test entrypoint script","shortMessageHtmlLink":"Add CI workflow to test entrypoint script"}},{"before":"ec92080e5b144cc20bf5047a29e336b94fa9ca18","after":"70f9d40fa90af32cfbf34d868830c8e31620ac1c","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T19:18:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add dependency installation based on the os","shortMessageHtmlLink":"Add dependency installation based on the os"}},{"before":"9ba9aae215504197d648075f30318dd001e3c614","after":"ec92080e5b144cc20bf5047a29e336b94fa9ca18","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T19:13:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove version number from toml","shortMessageHtmlLink":"Remove version number from toml"}},{"before":"3c83c5cf5a4600fb23135880792cefc513defca4","after":"9ba9aae215504197d648075f30318dd001e3c614","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T19:12:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Change output-format to terse","shortMessageHtmlLink":"Change output-format to terse"}},{"before":"60725a0e4739342e9407505f058d94e45be6f1b1","after":"3c83c5cf5a4600fb23135880792cefc513defca4","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T18:36:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove log and error_exit","shortMessageHtmlLink":"Remove log and error_exit"}},{"before":"78b3c28fae94164b73cd1773066959b234d32812","after":"60725a0e4739342e9407505f058d94e45be6f1b1","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T18:35:07.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/model-checking/verify-rust-std into add-script-to-automate-build","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/model-checking/verify-rust-std\">https://github.com/model-checking/verify-rust-std</a>"}},{"before":"e727e1bc4a24b1973e7dc0965ef71564d8bc9c58","after":"78b3c28fae94164b73cd1773066959b234d32812","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T18:32:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add command to run Kani from the root and from CI w/ cache","shortMessageHtmlLink":"Add command to run Kani from the root and from CI w/ cache"}},{"before":"e75ceb6e34fd81631ab844ad85e5a6d8d060829a","after":"e727e1bc4a24b1973e7dc0965ef71564d8bc9c58","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T18:30:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove all section numbers to prevent confusing labelling\n\nAdd command to run Kani from the root and from CI w/ cache\n\nClean kani script","shortMessageHtmlLink":"Remove all section numbers to prevent confusing labelling"}},{"before":null,"after":"e75ceb6e34fd81631ab844ad85e5a6d8d060829a","ref":"refs/heads/add-script-to-automate-build","pushedAt":"2024-09-06T18:07:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add command to run Kani from the root and from CI w/ cache","shortMessageHtmlLink":"Add command to run Kani from the root and from CI w/ cache"}},{"before":null,"after":"5dd8c9aa7f6db82ac743419a85d6e80b714d3103","ref":"refs/heads/clean-book","pushedAt":"2024-08-28T20:51:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Remove all section numbers to prevent confusing labelling","shortMessageHtmlLink":"Remove all section numbers to prevent confusing labelling"}},{"before":"cc2c94bfcc7dc7c7c32ea3e0f98d8a70af74550b","after":"4b36a0e0a6c5a2b5fd3b8f43120239446107f7ec","ref":"refs/heads/add-result-contract","pushedAt":"2024-08-28T18:53:50.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into add-result-contract","shortMessageHtmlLink":"Merge branch 'main' into add-result-contract"}},{"before":"db10e40b71c54f45a8019524c1c98fca8d176c86","after":"7fde837caab956bde0e6170bc3d32960039a9be2","ref":"refs/heads/fix-pr-flow","pushedAt":"2024-08-27T17:40:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix-pr-flow","shortMessageHtmlLink":"Merge branch 'main' into fix-pr-flow"}},{"before":null,"after":"e0d66762a74964548a7e1784bb545c2744e7e8d9","ref":"refs/heads/main-aug-3","pushedAt":"2024-08-27T17:27:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Challenge Proposal: `core::time::Duration` (#73)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Challenge Proposal: <code>core::time::Duration</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"232683\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/rust/issues/73\" data-hovercard-type=\"issue\" data-hovercard-url=\"/rust-lang/rust/issues/73/hovercard\" href=\"https://github.com/rust-lang/rust/issues/73\">rust-lang#73</a>)"}},{"before":null,"after":"db10e40b71c54f45a8019524c1c98fca8d176c86","ref":"refs/heads/fix-pr-flow","pushedAt":"2024-08-27T17:20:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Simplify pr workflow to require 2 approvals on all PR's","shortMessageHtmlLink":"Simplify pr workflow to require 2 approvals on all PR's"}},{"before":null,"after":"15c1845e56c9a80965f4a62acedb02ff6a37af8d","ref":"refs/heads/add-ranjit","pushedAt":"2024-08-22T22:16:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add \"ranjitjhala\" and \"carolynzech\" to toml","shortMessageHtmlLink":"Add \"ranjitjhala\" and \"carolynzech\" to toml"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDowNjo1OS4wMDAwMDBazwAAAAS8VQgx","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQyMDowNjo1OS4wMDAwMDBazwAAAAS8VQgx","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMlQyMjoxNjozNi4wMDAwMDBazwAAAAShxL-g"}},"title":"Activity · jaisnan/rust-dev"}