{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":351882164,"defaultBranch":"main","name":"kani","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-03-26T18:49:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727253170.0","currentOid":""},"activityList":{"items":[{"before":"4b0599cc5f8aab31f899c2954d21dc486cdf62ab","after":"ef3cd815413012b43bf59f6491552b4c36ab72d0","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T08:35:30.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":"Deploying to gh-pages from @ model-checking/kani@61aca4cae069bdd986ea38decc4d721100fd3b78 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/61aca4cae069bdd986ea38decc4d721100fd3b78/hovercard\" href=\"https://github.com/model-checking/kani/commit/61aca4cae069bdd986ea38decc4d721100fd3b78\"><tt>61aca4c</tt></a> 🚀"}},{"before":"123b0e3df2ed71eab3406cf45aa4d5d698a7fae7","after":null,"ref":"refs/heads/toolchain-2024-09-24","pushedAt":"2024-09-25T08:32:50.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":"61aca4cae069bdd986ea38decc4d721100fd3b78","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3547-4f75199d476c10316e43171b662bf97a35cfdb29","pushedAt":"2024-09-25T08:32:49.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"4f75199d476c10316e43171b662bf97a35cfdb29","after":"61aca4cae069bdd986ea38decc4d721100fd3b78","ref":"refs/heads/main","pushedAt":"2024-09-25T08:32:49.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-09-25 (#3547)\n\nUpdate Rust toolchain from nightly-2024-09-23 to nightly-2024-09-25\nwithout any other source changes.\n\nWe skip over 2024-09-24 as that version ICEs when trying to build\nhttp-body (fixed by https://github.com/rust-lang/rust/pull/130775).\n\n---------\n\nCo-authored-by: celinval <35149715+celinval@users.noreply.github.com>\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-09-25 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2546804401\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3547\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3547/hovercard\" href=\"https://github.com/model-checking/kani/pull/3547\">#3547</a>)"}},{"before":null,"after":"61aca4cae069bdd986ea38decc4d721100fd3b78","ref":"refs/heads/gh-readonly-queue/main/pr-3547-4f75199d476c10316e43171b662bf97a35cfdb29","pushedAt":"2024-09-25T07:43:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Automatic toolchain upgrade to nightly-2024-09-25 (#3547)\n\nUpdate Rust toolchain from nightly-2024-09-23 to nightly-2024-09-25\nwithout any other source changes.\n\nWe skip over 2024-09-24 as that version ICEs when trying to build\nhttp-body (fixed by https://github.com/rust-lang/rust/pull/130775).\n\n---------\n\nCo-authored-by: celinval <35149715+celinval@users.noreply.github.com>\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"Automatic toolchain upgrade to nightly-2024-09-25 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2546804401\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3547\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3547/hovercard\" href=\"https://github.com/model-checking/kani/pull/3547\">#3547</a>)"}},{"before":"8f87603764cf672f8bd6f3a22f7f9d0edd613935","after":"123b0e3df2ed71eab3406cf45aa4d5d698a7fae7","ref":"refs/heads/toolchain-2024-09-24","pushedAt":"2024-09-25T06:32:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Upgrade to 2024-09-25","shortMessageHtmlLink":"Upgrade to 2024-09-25"}},{"before":null,"after":"8f87603764cf672f8bd6f3a22f7f9d0edd613935","ref":"refs/heads/toolchain-2024-09-24","pushedAt":"2024-09-25T03:16:08.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":"Upgrade Rust toolchain to nightly-2024-09-24","shortMessageHtmlLink":"Upgrade Rust toolchain to nightly-2024-09-24"}},{"before":"ed2d18a45166508b21a788a17d7741f6d7a5e38b","after":"4b0599cc5f8aab31f899c2954d21dc486cdf62ab","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T16:47:50.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":"Deploying to gh-pages from @ model-checking/kani@4f75199d476c10316e43171b662bf97a35cfdb29 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/4f75199d476c10316e43171b662bf97a35cfdb29/hovercard\" href=\"https://github.com/model-checking/kani/commit/4f75199d476c10316e43171b662bf97a35cfdb29\"><tt>4f75199</tt></a> 🚀"}},{"before":"4f75199d476c10316e43171b662bf97a35cfdb29","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3545-9dc09e7c9dce292d619e72ef219944c0e6cf3376","pushedAt":"2024-09-24T16:45:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"9dc09e7c9dce292d619e72ef219944c0e6cf3376","after":"4f75199d476c10316e43171b662bf97a35cfdb29","ref":"refs/heads/main","pushedAt":"2024-09-24T16:45:31.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Revert #3539 and reuse rust backend infrastructure instead (#3545)\n\nReplace the body by a call to link_binary as other backend\nimplementations do, e.g.\n[rustc_codegen_gcc](https://github.com/rust-lang/rust/blob/648d024a7859e1ab7fdffe5e419b6e35ccb16a4a/compiler/rustc_codegen_gcc/src/lib.rs#L269-L271).\nAlso remove the implementation of `metadata_loader` which has a [default\nbody](https://github.com/rust-lang/rust/blob/11e760b7f4e4aaa11bf51a64d4bb7f1171f6e466/compiler/rustc_codegen_ssa/src/traits/backend.rs#L58-L60).\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.\n\n---------\n\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"Revert <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542630248\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3539\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3539/hovercard\" href=\"https://github.com/model-checking/kani/pull/3539\">#3539</a> and reuse rust backend infrastructure instead (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545580130\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3545\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3545/hovercard\" href=\"https://github.com/model-checking/kani/pull/3545\">#3545</a>)"}},{"before":null,"after":"4f75199d476c10316e43171b662bf97a35cfdb29","ref":"refs/heads/gh-readonly-queue/main/pr-3545-9dc09e7c9dce292d619e72ef219944c0e6cf3376","pushedAt":"2024-09-24T15:53:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Revert #3539 and reuse rust backend infrastructure instead (#3545)\n\nReplace the body by a call to link_binary as other backend\nimplementations do, e.g.\n[rustc_codegen_gcc](https://github.com/rust-lang/rust/blob/648d024a7859e1ab7fdffe5e419b6e35ccb16a4a/compiler/rustc_codegen_gcc/src/lib.rs#L269-L271).\nAlso remove the implementation of `metadata_loader` which has a [default\nbody](https://github.com/rust-lang/rust/blob/11e760b7f4e4aaa11bf51a64d4bb7f1171f6e466/compiler/rustc_codegen_ssa/src/traits/backend.rs#L58-L60).\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.\n\n---------\n\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"Revert <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542630248\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3539\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3539/hovercard\" href=\"https://github.com/model-checking/kani/pull/3539\">#3539</a> and reuse rust backend infrastructure instead (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2545580130\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3545\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3545/hovercard\" href=\"https://github.com/model-checking/kani/pull/3545\">#3545</a>)"}},{"before":"1742d00c661e6113f4e3404b0d05dd9f0d95c342","after":"ed2d18a45166508b21a788a17d7741f6d7a5e38b","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T14: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":"Deploying to gh-pages from @ model-checking/kani@9dc09e7c9dce292d619e72ef219944c0e6cf3376 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/9dc09e7c9dce292d619e72ef219944c0e6cf3376/hovercard\" href=\"https://github.com/model-checking/kani/commit/9dc09e7c9dce292d619e72ef219944c0e6cf3376\"><tt>9dc09e7</tt></a> 🚀"}},{"before":"9dc09e7c9dce292d619e72ef219944c0e6cf3376","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3544-2755592ab80869408fc7a6d7a7a83a1066ce7abb","pushedAt":"2024-09-24T14:54:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"2755592ab80869408fc7a6d7a7a83a1066ce7abb","after":"9dc09e7c9dce292d619e72ef219944c0e6cf3376","ref":"refs/heads/main","pushedAt":"2024-09-24T14:54:53.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update toolchain to 2024-09-23 (#3544)\n\nChanges required due to:\n- https://github.com/rust-lang/rust/pull/130593 Sync from rustfmt\n- https://github.com/rust-lang/rust/pull/124895 Disallow hidden\nreferences to mutable static\n\nWith the exception of changes to `rust-toolchain.toml`, `rustfmt.toml`,\nand `library/kani/src/futures.rs` all changes were automatically created\nby running `scripts/kani-fmt.sh`.\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update toolchain to 2024-09-23 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2544979308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3544\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3544/hovercard\" href=\"https://github.com/model-checking/kani/pull/3544\">#3544</a>)"}},{"before":null,"after":"9dc09e7c9dce292d619e72ef219944c0e6cf3376","ref":"refs/heads/gh-readonly-queue/main/pr-3544-2755592ab80869408fc7a6d7a7a83a1066ce7abb","pushedAt":"2024-09-24T14:02:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update toolchain to 2024-09-23 (#3544)\n\nChanges required due to:\n- https://github.com/rust-lang/rust/pull/130593 Sync from rustfmt\n- https://github.com/rust-lang/rust/pull/124895 Disallow hidden\nreferences to mutable static\n\nWith the exception of changes to `rust-toolchain.toml`, `rustfmt.toml`,\nand `library/kani/src/futures.rs` all changes were automatically created\nby running `scripts/kani-fmt.sh`.\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update toolchain to 2024-09-23 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2544979308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3544\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3544/hovercard\" href=\"https://github.com/model-checking/kani/pull/3544\">#3544</a>)"}},{"before":"50f20d70bb5c05d5f7000d360261103112ee8664","after":"1742d00c661e6113f4e3404b0d05dd9f0d95c342","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T10:15: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":"Deploying to gh-pages from @ model-checking/kani@2755592ab80869408fc7a6d7a7a83a1066ce7abb 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/2755592ab80869408fc7a6d7a7a83a1066ce7abb/hovercard\" href=\"https://github.com/model-checking/kani/commit/2755592ab80869408fc7a6d7a7a83a1066ce7abb\"><tt>2755592</tt></a> 🚀"}},{"before":"2755592ab80869408fc7a6d7a7a83a1066ce7abb","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3539-0ddeb2104a0c439675b617e9cf9ad4918c55f69d","pushedAt":"2024-09-24T10:13:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"0ddeb2104a0c439675b617e9cf9ad4918c55f69d","after":"2755592ab80869408fc7a6d7a7a83a1066ce7abb","ref":"refs/heads/main","pushedAt":"2024-09-24T10:13:24.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update toolchain to 2024-09-20 (#3539)\n\nChanges required due to:\n- rust-lang/rust@bdacdfe95f Minimize visibilities.\n\nResolves: #3534\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update toolchain to 2024-09-20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542630248\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3539\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3539/hovercard\" href=\"https://github.com/model-checking/kani/pull/3539\">#3539</a>)"}},{"before":null,"after":"2755592ab80869408fc7a6d7a7a83a1066ce7abb","ref":"refs/heads/gh-readonly-queue/main/pr-3539-0ddeb2104a0c439675b617e9cf9ad4918c55f69d","pushedAt":"2024-09-24T09:18:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update toolchain to 2024-09-20 (#3539)\n\nChanges required due to:\n- rust-lang/rust@bdacdfe95f Minimize visibilities.\n\nResolves: #3534\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update toolchain to 2024-09-20 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542630248\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3539\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3539/hovercard\" href=\"https://github.com/model-checking/kani/pull/3539\">#3539</a>)"}},{"before":"27784c890a96f692229de986a8848f6223d05b01","after":"50f20d70bb5c05d5f7000d360261103112ee8664","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T18:22:07.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":"Deploying to gh-pages from @ model-checking/kani@0ddeb2104a0c439675b617e9cf9ad4918c55f69d 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/0ddeb2104a0c439675b617e9cf9ad4918c55f69d/hovercard\" href=\"https://github.com/model-checking/kani/commit/0ddeb2104a0c439675b617e9cf9ad4918c55f69d\"><tt>0ddeb21</tt></a> 🚀"}},{"before":"2aa27da3b787484b29ffc4671699d90dd6abb7ed","after":null,"ref":"refs/heads/dependabot/submodules/tests/perf/s2n-quic-a88ae41","pushedAt":"2024-09-23T18:20:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"}},{"before":"0ddeb2104a0c439675b617e9cf9ad4918c55f69d","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3540-06822579041c1aab7527eb3085d3520f7d805c43","pushedAt":"2024-09-23T18:20:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"06822579041c1aab7527eb3085d3520f7d805c43","after":"0ddeb2104a0c439675b617e9cf9ad4918c55f69d","ref":"refs/heads/main","pushedAt":"2024-09-23T18:19:59.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump tests/perf/s2n-quic from `132ba54` to `a88ae41` (#3540)\n\nBumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from\n`132ba54` to `a88ae41`.\n<details>\n<summary>Commits</summary>\n<ul>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/a88ae4191af100747404db207976c7da1a3b8370\"><code>a88ae41</code></a>\nfeat(s2n-quic-dc): Make stream::recv::error::Kind pub (<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2326\">#2326</a>)</li>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/31d547423a111024f16ba7f37f6860faf3c35bce\"><code>31d5474</code></a>\nfeat(s2n-quic-events): add search_completed boolean to mtu updated event\n(<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2322\">#2322</a>)</li>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/29bd9b70d4cfdd7b405f80e1d04e13be5d2833fe\"><code>29bd9b7</code></a>\nrefactor(s2n-quic-h3): remove s2n-quic-core dependency (<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2325\">#2325</a>)</li>\n<li>See full diff in <a\nhref=\"https://github.com/aws/s2n-quic/compare/132ba54b6ff7406204b866eb644594201d6be8d7...a88ae4191af100747404db207976c7da1a3b8370\">compare\nview</a></li>\n</ul>\n</details>\n<br />\n\n\nDependabot will resolve any conflicts with this PR as long as you don't\nalter it yourself. You can also trigger a rebase manually by commenting\n`@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n<details>\n<summary>Dependabot commands and options</summary>\n<br />\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits\nthat have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after\nyour CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge\nand block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating\nit. You can achieve the same result by closing it manually\n- `@dependabot show <dependency name> ignore conditions` will show all\nof the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop\nDependabot creating any more for this major version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop\nDependabot creating any more for this minor version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop\nDependabot creating any more for this dependency (unless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump tests/perf/s2n-quic from <code>132ba54</code> to <code>a88ae41</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2543173305\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3540\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3540/hovercard\" href=\"https://github.com/model-checking/kani/pull/3540\">#3540</a>)"}},{"before":null,"after":"0ddeb2104a0c439675b617e9cf9ad4918c55f69d","ref":"refs/heads/gh-readonly-queue/main/pr-3540-06822579041c1aab7527eb3085d3520f7d805c43","pushedAt":"2024-09-23T17:30:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Bump tests/perf/s2n-quic from `132ba54` to `a88ae41` (#3540)\n\nBumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from\n`132ba54` to `a88ae41`.\n<details>\n<summary>Commits</summary>\n<ul>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/a88ae4191af100747404db207976c7da1a3b8370\"><code>a88ae41</code></a>\nfeat(s2n-quic-dc): Make stream::recv::error::Kind pub (<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2326\">#2326</a>)</li>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/31d547423a111024f16ba7f37f6860faf3c35bce\"><code>31d5474</code></a>\nfeat(s2n-quic-events): add search_completed boolean to mtu updated event\n(<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2322\">#2322</a>)</li>\n<li><a\nhref=\"https://github.com/aws/s2n-quic/commit/29bd9b70d4cfdd7b405f80e1d04e13be5d2833fe\"><code>29bd9b7</code></a>\nrefactor(s2n-quic-h3): remove s2n-quic-core dependency (<a\nhref=\"https://redirect.github.com/aws/s2n-quic/issues/2325\">#2325</a>)</li>\n<li>See full diff in <a\nhref=\"https://github.com/aws/s2n-quic/compare/132ba54b6ff7406204b866eb644594201d6be8d7...a88ae4191af100747404db207976c7da1a3b8370\">compare\nview</a></li>\n</ul>\n</details>\n<br />\n\n\nDependabot will resolve any conflicts with this PR as long as you don't\nalter it yourself. You can also trigger a rebase manually by commenting\n`@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n<details>\n<summary>Dependabot commands and options</summary>\n<br />\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits\nthat have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after\nyour CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge\nand block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating\nit. You can achieve the same result by closing it manually\n- `@dependabot show <dependency name> ignore conditions` will show all\nof the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop\nDependabot creating any more for this major version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop\nDependabot creating any more for this minor version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop\nDependabot creating any more for this dependency (unless you reopen the\nPR or upgrade to it yourself)\n\n\n</details>\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump tests/perf/s2n-quic from <code>132ba54</code> to <code>a88ae41</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2543173305\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3540\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3540/hovercard\" href=\"https://github.com/model-checking/kani/pull/3540\">#3540</a>)"}},{"before":null,"after":"2aa27da3b787484b29ffc4671699d90dd6abb7ed","ref":"refs/heads/dependabot/submodules/tests/perf/s2n-quic-a88ae41","pushedAt":"2024-09-23T16:50:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump tests/perf/s2n-quic from `132ba54` to `a88ae41`\n\nBumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from `132ba54` to `a88ae41`.\n- [Release notes](https://github.com/aws/s2n-quic/releases)\n- [Commits](https://github.com/aws/s2n-quic/compare/132ba54b6ff7406204b866eb644594201d6be8d7...a88ae4191af100747404db207976c7da1a3b8370)\n\n---\nupdated-dependencies:\n- dependency-name: tests/perf/s2n-quic\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump tests/perf/s2n-quic from <code>132ba54</code> to <code>a88ae41</code>"}},{"before":"6bcb6e84f61e95ee9b21ae0854dc210325705277","after":"27784c890a96f692229de986a8848f6223d05b01","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T15:16:25.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":"Deploying to gh-pages from @ model-checking/kani@06822579041c1aab7527eb3085d3520f7d805c43 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/06822579041c1aab7527eb3085d3520f7d805c43/hovercard\" href=\"https://github.com/model-checking/kani/commit/06822579041c1aab7527eb3085d3520f7d805c43\"><tt>0682257</tt></a> 🚀"}},{"before":"06822579041c1aab7527eb3085d3520f7d805c43","after":null,"ref":"refs/heads/gh-readonly-queue/main/pr-3537-a422cca0a953d458748038ed66a3fdc9a6237378","pushedAt":"2024-09-23T15:14:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"}},{"before":"a422cca0a953d458748038ed66a3fdc9a6237378","after":"06822579041c1aab7527eb3085d3520f7d805c43","ref":"refs/heads/main","pushedAt":"2024-09-23T15:14:16.000Z","pushType":"merge_queue_merge","commitsCount":1,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update to CBMC 6.3.1 and fix auto-update script (#3537)\n\nUpdate to CBMC release 6.3.1. This release includes a full fix for the\nbuild problem that we carried a patch for (in #3431 and #3436), thus\ndropping the patching step.\n\nThe automatic update of CBMC requires actually installing that newer\nversion of CBMC, else regression tests fail as seen in\nhttps://github.com/model-checking/kani/actions/runs/10987766383/job/30503118786.\n\nResolves: #3507, #3536\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update to CBMC 6.3.1 and fix auto-update script (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542226596\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3537\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3537/hovercard\" href=\"https://github.com/model-checking/kani/pull/3537\">#3537</a>)"}},{"before":null,"after":"06822579041c1aab7527eb3085d3520f7d805c43","ref":"refs/heads/gh-readonly-queue/main/pr-3537-a422cca0a953d458748038ed66a3fdc9a6237378","pushedAt":"2024-09-23T14:23:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-merge-queue[bot]","name":null,"path":"/apps/github-merge-queue","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9919?s=80&v=4"},"commit":{"message":"Update to CBMC 6.3.1 and fix auto-update script (#3537)\n\nUpdate to CBMC release 6.3.1. This release includes a full fix for the\nbuild problem that we carried a patch for (in #3431 and #3436), thus\ndropping the patching step.\n\nThe automatic update of CBMC requires actually installing that newer\nversion of CBMC, else regression tests fail as seen in\nhttps://github.com/model-checking/kani/actions/runs/10987766383/job/30503118786.\n\nResolves: #3507, #3536\n\nBy submitting this pull request, I confirm that my contribution is made\nunder the terms of the Apache 2.0 and MIT licenses.","shortMessageHtmlLink":"Update to CBMC 6.3.1 and fix auto-update script (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2542226596\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani/issues/3537\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani/pull/3537/hovercard\" href=\"https://github.com/model-checking/kani/pull/3537\">#3537</a>)"}},{"before":"2f1acf481a77d654f12b595f8fac4efe8ec46371","after":"6bcb6e84f61e95ee9b21ae0854dc210325705277","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T13:19: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":"Deploying to gh-pages from @ model-checking/kani@a422cca0a953d458748038ed66a3fdc9a6237378 🚀","shortMessageHtmlLink":"Deploying to gh-pages from @ <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/model-checking/kani/commit/a422cca0a953d458748038ed66a3fdc9a6237378/hovercard\" href=\"https://github.com/model-checking/kani/commit/a422cca0a953d458748038ed66a3fdc9a6237378\"><tt>a422cca</tt></a> 🚀"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQwODozNTozMC4wMDAwMDBazwAAAATADslR","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQwODozNTozMC4wMDAwMDBazwAAAATADslR","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yM1QxMzoxOTowOC4wMDAwMDBazwAAAAS9_5fh"}},"title":"Activity · model-checking/kani"}