{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":551539143,"defaultBranch":"v1","name":"kani-github-action","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-14T15:39:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704928554.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"f838096619a707b0f6b2118cf435eaccfa33e51f","ref":"refs/heads/development","pushedAt":"2024-01-10T23:15:54.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":"Update README to use v1 instead of v1.0 (#55)","shortMessageHtmlLink":"Update README to use v1 instead of v1.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2075268502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/55/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/55\">#55</a>)"}},{"before":"3c6810af57e7dcd0917951b2ef4923cd1e7b6b86","after":"f838096619a707b0f6b2118cf435eaccfa33e51f","ref":"refs/heads/v1","pushedAt":"2024-01-10T21:50:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Update README to use v1 instead of v1.0 (#55)","shortMessageHtmlLink":"Update README to use v1 instead of v1.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2075268502\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/55\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/55/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/55\">#55</a>)"}},{"before":"b18bb997be55e05fb1d97384717a76a70163edaa","after":"daca1b75a96ce3884435ebaeeb73073ffa7edfbd","ref":"refs/heads/main","pushedAt":"2024-01-10T21:25:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Update README.md to use v1 instead of v1.0 (#54)","shortMessageHtmlLink":"Update README.md to use v1 instead of v1.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2075228972\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/54/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/54\">#54</a>)"}},{"before":"e621a98d839036c62e96cd5fa33ac5d076729f94","after":"3c6810af57e7dcd0917951b2ef4923cd1e7b6b86","ref":"refs/heads/v1","pushedAt":"2024-01-10T01:06:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Use stable version to install Kani (#53)","shortMessageHtmlLink":"Use stable version to install Kani (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2073383016\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/53\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/53/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/53\">#53</a>)"}},{"before":"ba359a80d93866a37123e04ce93477261af09e7e","after":"b18bb997be55e05fb1d97384717a76a70163edaa","ref":"refs/heads/main","pushedAt":"2023-10-05T20:11:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Update to v0.38 with warning (#51)","shortMessageHtmlLink":"Update to v0.38 with warning (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1928738455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/51/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/51\">#51</a>)"}},{"before":"7c99bc77b4c7aab39fdef34c0b2bf314d96bef81","after":"ba359a80d93866a37123e04ce93477261af09e7e","ref":"refs/heads/main","pushedAt":"2023-09-28T16:50:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add notice to README on main (#50)\n\nAdd notice about moving to v1.0 to the README on main branch.","shortMessageHtmlLink":"Add notice to README on main (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1916416668\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/50/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/50\">#50</a>)"}},{"before":"7c99bc77b4c7aab39fdef34c0b2bf314d96bef81","after":"e621a98d839036c62e96cd5fa33ac5d076729f94","ref":"refs/heads/v1","pushedAt":"2023-09-27T17:32:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Decouple `kani` version from `kani-github-action` version (#45)\n\nThis PR updates the action to add the parameter for kani-version which defaults to the value latest.\r\nThe default value latest uses the latest version of Kani that is uploaded on crates.io unless a specific version is provided by the user, in which case that specific version of Kani will be used in the CI.","shortMessageHtmlLink":"Decouple <code>kani</code> version from <code>kani-github-action</code> version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1884706516\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/45/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/45\">#45</a>)"}},{"before":null,"after":"7c99bc77b4c7aab39fdef34c0b2bf314d96bef81","ref":"refs/heads/v1","pushedAt":"2023-09-27T17:30:02.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":"Update Kani version to 0.37.0 (#49)\n\nCo-authored-by: Remi Delmas <delmasrd@amazon.com>","shortMessageHtmlLink":"Update Kani version to 0.37.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1903881897\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/49/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/49\">#49</a>)"}},{"before":"4876903b8a1b23e6875d614ca0c13ee8aae1e3ee","after":"7c99bc77b4c7aab39fdef34c0b2bf314d96bef81","ref":"refs/heads/main","pushedAt":"2023-09-20T18:52:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"remi-delmas-3000","name":"Rémi Delmas","path":"/remi-delmas-3000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2735543?s=80&v=4"},"commit":{"message":"Update Kani version to 0.37.0 (#49)\n\nCo-authored-by: Remi Delmas <delmasrd@amazon.com>","shortMessageHtmlLink":"Update Kani version to 0.37.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1903881897\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/49/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/49\">#49</a>)"}},{"before":"402266cd4f732f4e9d0d5c8d05d3120a0e106d84","after":"4876903b8a1b23e6875d614ca0c13ee8aae1e3ee","ref":"refs/heads/main","pushedAt":"2023-09-07T15:00:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"},"commit":{"message":"Update Kani version to 0.36.0 (#47)","shortMessageHtmlLink":"Update Kani version to 0.36.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1884894953\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/47/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/47\">#47</a>)"}},{"before":"4a605bd678cb5ca3dbe7b203e11f24b904e511a6","after":null,"ref":"refs/heads/kani-0.34.0","pushedAt":"2023-08-29T18:58:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"86cd7a26e07e509f986a09fb0db0b641282f070d","after":"402266cd4f732f4e9d0d5c8d05d3120a0e106d84","ref":"refs/heads/main","pushedAt":"2023-08-23T23:43:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Update Kani version to 0.35.0 (#43)\n\nChange the action to track the latest Kani version","shortMessageHtmlLink":"Update Kani version to 0.35.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1863928836\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/43/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/43\">#43</a>)"}},{"before":"ba46efd09ddd08dd3ccaf9505ccbc13ff2bd5677","after":"86cd7a26e07e509f986a09fb0db0b641282f070d","ref":"refs/heads/main","pushedAt":"2023-08-10T12:14:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"},"commit":{"message":"Bump Kani version to 0.34.0 (#42)","shortMessageHtmlLink":"Bump Kani version to 0.34.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1842871953\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/42/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/42\">#42</a>)"}},{"before":null,"after":"4a605bd678cb5ca3dbe7b203e11f24b904e511a6","ref":"refs/heads/kani-0.34.0","pushedAt":"2023-08-09T09:42:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump Kani version to 0.34.0","shortMessageHtmlLink":"Bump Kani version to 0.34.0"}},{"before":"8b0aa93be233dde0446e08697caaaf0bbabeb289","after":"ba46efd09ddd08dd3ccaf9505ccbc13ff2bd5677","ref":"refs/heads/main","pushedAt":"2023-07-26T15:58:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump Kani version (#41)","shortMessageHtmlLink":"Bump Kani version (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1820986606\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/41/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/41\">#41</a>)"}},{"before":"251c15a5fb02b83cdec4b9ecb5a61995e9a7cc6e","after":"8b0aa93be233dde0446e08697caaaf0bbabeb289","ref":"refs/heads/main","pushedAt":"2023-07-12T19:39:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Bump Kani version to 0.32.0 (#40)","shortMessageHtmlLink":"Bump Kani version to 0.32.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1801138956\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/40/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/40\">#40</a>)"}},{"before":"7a843b5dbf9f614453aac887fdc3b76661b1fef6","after":"251c15a5fb02b83cdec4b9ecb5a61995e9a7cc6e","ref":"refs/heads/main","pushedAt":"2023-06-28T20:05:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"update-to-0.31.0 (#39)","shortMessageHtmlLink":"update-to-0.31.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1775854904\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/39/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/39\">#39</a>)"}},{"before":"e6805b4b48d64a8cdf92241f1b0ea5af335f2a11","after":"7a843b5dbf9f614453aac887fdc3b76661b1fef6","ref":"refs/heads/main","pushedAt":"2023-06-15T20:24:04.695Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"karkhaz","name":"Kareem Khazem","path":"/karkhaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2887605?s=80&v=4"},"commit":{"message":"Bump kani version to 0.30.0 (#38)","shortMessageHtmlLink":"Bump kani version to 0.30.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1757720969\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/38/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/38\">#38</a>)"}},{"before":"15bc38bcae1ed9597ff22c90dd84a308fc49f8f5","after":"e6805b4b48d64a8cdf92241f1b0ea5af335f2a11","ref":"refs/heads/main","pushedAt":"2023-05-31T15:01:14.855Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Bump kani version to 0.29.0 (#37)","shortMessageHtmlLink":"Bump kani version to 0.29.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1730643372\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/37/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/37\">#37</a>)"}},{"before":"9757fc450971673273aa4176840577cba8eeebae","after":"15bc38bcae1ed9597ff22c90dd84a308fc49f8f5","ref":"refs/heads/main","pushedAt":"2023-05-16T21:06:30.597Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump Kani version to 0.28.0 (#36)","shortMessageHtmlLink":"Bump Kani version to 0.28.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1710941935\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/36/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/36\">#36</a>)"}},{"before":"4081a7080e7abbd5fdf842950116d2a1a9485bee","after":"9757fc450971673273aa4176840577cba8eeebae","ref":"refs/heads/main","pushedAt":"2023-05-02T18:47:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"},"commit":{"message":"Update Kani version to 0.27.0 (#35)","shortMessageHtmlLink":"Update Kani version to 0.27.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1691438721\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/35/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/35\">#35</a>)"}},{"before":"bcc5c7c2a90de383af166f65bffa880d83c8ffe8","after":"4081a7080e7abbd5fdf842950116d2a1a9485bee","ref":"refs/heads/main","pushedAt":"2023-04-28T20:29:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Replaces actions-rs/toolchain with dtolnay/rust-toolchain (#34)\n\nReplaces actions-rs/toolchain with dtolnay/rust-toolchain to setup rust. As actions-rs/toolchain is unmaintained, it causes a node version warning.","shortMessageHtmlLink":"Replaces actions-rs/toolchain with dtolnay/rust-toolchain (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1678438056\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/34/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/34\">#34</a>)"}},{"before":"fd0aa0ce895bd70243db8c9718eee7185f8b369c","after":"bcc5c7c2a90de383af166f65bffa880d83c8ffe8","ref":"refs/heads/main","pushedAt":"2023-04-19T17:13:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"karkhaz","name":"Kareem Khazem","path":"/karkhaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2887605?s=80&v=4"},"commit":{"message":"Bump version to 0.26.0 (#33)\n\nUpdate action to use Kani version 0.26.0","shortMessageHtmlLink":"Bump version to 0.26.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1674090939\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/33/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/33\">#33</a>)"}},{"before":"d9a813f44dd20fd854f929545352be6fe8de3297","after":"fd0aa0ce895bd70243db8c9718eee7185f8b369c","ref":"refs/heads/main","pushedAt":"2023-04-06T18:43:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Bump version to 0.25.0 (#32)\n\nUpdate action to use Kani version 0.25.0.","shortMessageHtmlLink":"Bump version to 0.25.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1656156180\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/32\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/32/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/32\">#32</a>)"}},{"before":"34d6267666318cacd6aeba309d3c52bf54c82bbc","after":"d9a813f44dd20fd854f929545352be6fe8de3297","ref":"refs/heads/main","pushedAt":"2023-03-21T21:53:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Bump Kani-GitHub-Action version to 0.24.0 (#31)\n\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Bump Kani-GitHub-Action version to 0.24.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1634537153\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/31/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/31\">#31</a>)"}},{"before":"dd87215965f170dd0b9635ee8f78d69b658f524c","after":"34d6267666318cacd6aeba309d3c52bf54c82bbc","ref":"refs/heads/main","pushedAt":"2023-03-08T01:30:26.333Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"qinheping","name":"Qinheping Hu","path":"/qinheping","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16714939?s=80&v=4"},"commit":{"message":"Bump kani version to 0.23.0 (#29)","shortMessageHtmlLink":"Bump kani version to 0.23.0 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1612152964\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-github-action/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-github-action/pull/29/hovercard\" href=\"https://github.com/model-checking/kani-github-action/pull/29\">#29</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xMFQyMzoxNTo1NC4wMDAwMDBazwAAAAPcwDcm","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xMFQyMzoxNTo1NC4wMDAwMDBazwAAAAPcwDcm","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0wOFQwMTozMDoyNi4zMzMwOThazwAAAAL-qexa"}},"title":"Activity · model-checking/kani-github-action"}