Load reduction #39
Closed
Load reduction #39
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This includes updates beyond patch version level to `cargo_metadata` and `tree-sitter` (and `tree-sitter-rust`), which required code changes. (Updating `which` did not entail code changes.) By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Update Rust toolchain from nightly-2024-12-13 to nightly-2024-12-14 without any other source changes. Co-authored-by: celinval <35149715+celinval@users.noreply.github.com>
Dependency upgrade resulting from `cargo update`. Co-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.56.0"/version = "0.57.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.
GitHub generated release notes:
## What's Changed
* Remove the overflow checks for wrapping_offset by @zhassan-aws in
model-checking#3589
* `kani-cov`: A coverage tool for Kani by @adpaco-aws in
model-checking#3121
* Automatic toolchain upgrade to nightly-2024-10-04 by @github-actions
in model-checking#3570
* Automatic toolchain upgrade to nightly-2024-10-05 by @github-actions
in model-checking#3591
* Automatic toolchain upgrade to nightly-2024-10-06 by @github-actions
in model-checking#3592
* Exclude Charon from workspace by @zhassan-aws in
model-checking#3580
* Support fully-qualified --package arguments by @celinval in
model-checking#3593
* Automatic toolchain upgrade to nightly-2024-10-07 by @github-actions
in model-checking#3595
* Automatic toolchain upgrade to nightly-2024-10-08 by @github-actions
in model-checking#3597
* Automatic cargo update to 2024-10-14 by @github-actions in
model-checking#3598
* Bump tests/perf/s2n-quic from `17171ec` to `7752afb` by @dependabot in
model-checking#3601
* Automatic toolchain upgrade to nightly-2024-10-09 by @github-actions
in model-checking#3600
* Automatic toolchain upgrade to nightly-2024-10-10 by @github-actions
in model-checking#3602
* Automatic toolchain upgrade to nightly-2024-10-11 by @github-actions
in model-checking#3603
* Loop Contracts Annotation for While-Loop by @qinheping in
model-checking#3151
* Automatic toolchain upgrade to nightly-2024-10-12 by @github-actions
in model-checking#3604
* Update toolchain to 2024-10-15 by @zhassan-aws in
model-checking#3605
* Automatic toolchain upgrade to nightly-2024-10-16 by @github-actions
in model-checking#3607
* Implement proper function pointer handling for validity checks by
@celinval in model-checking#3606
* Update toolchain to 2024-10-17 by @zhassan-aws in
model-checking#3610
* Add fn that checks pointers point to same allocation by @celinval in
model-checking#3583
* Automatic toolchain upgrade to nightly-2024-10-18 by @github-actions
in model-checking#3613
* [aeneas] Preserve variable names by @zhassan-aws in
model-checking#3560
* [Breaking change] Make `kani::check` private by @celinval in
model-checking#3614
* Emit an error when proof_for_contract function is not found by
@zhassan-aws in model-checking#3609
* Automatic toolchain upgrade to nightly-2024-10-19 by @github-actions
in model-checking#3617
* Automatic toolchain upgrade to nightly-2024-10-20 by @github-actions
in model-checking#3619
* Update test small_slice_eq by @qinheping in
model-checking#3618
* Automatic toolchain upgrade to nightly-2024-10-21 by @github-actions
in model-checking#3621
* Automatic cargo update to 2024-10-21 by @github-actions in
model-checking#3622
* Bump tests/perf/s2n-quic from `7752afb` to `cd0314b` by @dependabot in
model-checking#3625
* Update coverage flag in docs by @zhassan-aws in
model-checking#3626
* Automatic toolchain upgrade to nightly-2024-10-22 by @github-actions
in model-checking#3628
* Automatic toolchain upgrade to nightly-2024-10-23 by @github-actions
in model-checking#3635
* Remove dead Option layer from run_piped by @zhassan-aws in
model-checking#3634
* Add `free(0)` to codegen of loop contracts by @qinheping in
model-checking#3637
* [Lean] Rename user-facing options from Aeneas to Lean by @zhassan-aws
in model-checking#3630
* Fix ICE due to mishandling of Aggregate rvalue for raw pointers to
trait objects by @carolynzech in
model-checking#3636
* Automatic toolchain upgrade to nightly-2024-10-24 by @github-actions
in model-checking#3639
* Add regular & fixme tests for function contracts by @celinval in
model-checking#3371
* Call `goto-instrument` with `DFCC` only once by @qinheping in
model-checking#3642
* Build and include `kani-cov` in the bundle by @adpaco-aws in
model-checking#3641
* Fix loop contracts transformation when loops in branching by
@qinheping in model-checking#3640
* Update toolchain to 10/25 by @carolynzech in
model-checking#3648
* Automatic toolchain upgrade to nightly-2024-10-26 by @github-actions
in model-checking#3651
* Automatic toolchain upgrade to nightly-2024-10-27 by @github-actions
in model-checking#3652
* Bump tests/perf/s2n-quic from `cd0314b` to `ed9db08` by @dependabot in
model-checking#3655
* Automatic cargo update to 2024-10-28 by @github-actions in
model-checking#3654
* Automatic toolchain upgrade to nightly-2024-10-28 by @github-actions
in model-checking#3653
* Reduce the number of object bits for refcell test by @zhassan-aws in
model-checking#3656
* Move any_slice_from_array to kani_core by @qinheping in
model-checking#3646
* Upgrade toolchain to 2024-10-29 by @zhassan-aws in
model-checking#3658
* Add a timeout option by @zhassan-aws in
model-checking#3649
* Upgrade toolchain to 2024-10-30 by @tautschnig in
model-checking#3661
* Upgrade Rust toolchain to 2024-10-31 by @zhassan-aws in
model-checking#3668
* Upgrade toolchain to 2024-11-01 by @tautschnig in
model-checking#3671
* Automatic toolchain upgrade to nightly-2024-11-02 by @github-actions
in model-checking#3673
* Implement `Arbitrary` for `Range*` by @c410-f3r in
model-checking#3666
* Automatic toolchain upgrade to nightly-2024-11-03 by @github-actions
in model-checking#3674
* codegen: Ask the layout if it is uninhabited, not its impl detail by
@workingjubilee in model-checking#3675
* Automatic cargo update to 2024-11-04 by @github-actions in
model-checking#3677
* Bump tests/perf/s2n-quic from `192de7d` to `65d55a4` by @dependabot in
model-checking#3678
* Update dependencies following Audit workflow failure. by
@remi-delmas-3000 in model-checking#3680
* Harness output individual files by @Alexander-Aghili in
model-checking#3360
* Update Charon submodule to 2024-11-04 by @zhassan-aws in
model-checking#3686
* Add support for float_to_int_unchecked by @zhassan-aws in
model-checking#3660
* Change `same_allocation` to accept wide pointers by @celinval in
model-checking#3684
* Automatic upgrade of CBMC from 6.3.1 to 6.4.0 by @github-actions in
model-checking#3689
* Derive `Arbitrary` for enums with a single variant by @AlgebraicWolf
in model-checking#3692
* Update cbmc-viewer to 3.10 by @remi-delmas-3000 in
model-checking#3683
* Apply loop contracts only if there exists some usage by @qinheping in
model-checking#3694
* Remove symtab json support by @celinval in
model-checking#3695
* Remove CBMC viewer and visualize option by @zhassan-aws in
model-checking#3699
* Ignore derivative in Cargo deny by @qinheping in
model-checking#3708
* Upgrade Rust toolchain to 2024-11-08 by @zhassan-aws in
model-checking#3703
* Automatic cargo update to 2024-11-11 by @github-actions in
model-checking#3704
* Update verify-std-check workflow to enable loop contracts by
@qinheping in model-checking#3705
* Automatic toolchain upgrade to nightly-2024-11-09 by @github-actions
in model-checking#3709
* Bump tests/perf/s2n-quic from `65d55a4` to `cb41b35` by @dependabot in
model-checking#3706
* Add support for f16 and f128 in float_to_int_unchecked intrinsic by
@zhassan-aws in model-checking#3701
* Upgrade toolchain to nightly-2024-11-11 by @qinheping in
model-checking#3710
* Automatic toolchain upgrade to nightly-2024-11-12 by @github-actions
in model-checking#3713
* Update charon submodule by @zhassan-aws in
model-checking#3716
* Revert "Ignore derivative in Cargo deny" by @qinheping in
model-checking#3712
* Upgrade toolchain to nightly-2024-11-13 by @qinheping in
model-checking#3715
* Automatic toolchain upgrade to nightly-2024-11-14 by @github-actions
in model-checking#3719
* Automatic toolchain upgrade to nightly-2024-11-15 by @github-actions
in model-checking#3720
* Fix codegen for rvalue aggregate raw pointer to an adt with slice tail
by @carolynzech in model-checking#3644
* Improve Kani handling of function markers by @celinval in
model-checking#3718
* Automatic toolchain upgrade to nightly-2024-11-16 by @github-actions
in model-checking#3722
* Automatic toolchain upgrade to nightly-2024-11-17 by @github-actions
in model-checking#3724
* Automatic cargo update to 2024-11-18 by @github-actions in
model-checking#3723
* Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` by @dependabot in
model-checking#3725
* Automatic toolchain upgrade to nightly-2024-11-18 by @github-actions
in model-checking#3727
* Enable contracts for const generic functions by @qinheping in
model-checking#3726
* List Subcommand Improvements by @carolynzech in
model-checking#3729
* Automatic toolchain upgrade to nightly-2024-11-19 by @github-actions
in model-checking#3730
* add support for enum, struct, tuple in llbc backend by
@thanhnguyen-aws in model-checking#3721
* Fix issues with how we compute DST size by @celinval in
model-checking#3687
* Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` by @dependabot in
model-checking#3736
* Fix size and alignment computation for intrinsics by @celinval in
model-checking#3734
* Automatic cargo update to 2024-11-25 by @github-actions in
model-checking#3735
* Cleanup a few internal compiler deps by @celinval in
model-checking#3739
* Add a Kani function that checks if the range of a float is valid for
conversion to int by @zhassan-aws in
model-checking#3742
* Dropping support for Ubuntu 18.04 / AL2. by @thanhnguyen-aws in
model-checking#3744
* Update toolchain to nightly-2024-11-26 by @celinval in
model-checking#3740
* Automatic upgrade of CBMC from 6.4.0 to 6.4.1 by @github-actions in
model-checking#3748
* Automatic cargo update to 2024-12-02 by @github-actions in
model-checking#3749
* Update download-artifact, upload-artifact and checkout to v4 by
@thanhnguyen-aws in model-checking#3745
* Bump tests/perf/s2n-quic from `c84ba19` to `96d2e22` by @dependabot in
model-checking#3750
* Upgrade toolchain to 2024-11-27 by @tautschnig in
model-checking#3751
* Upgrade toolchain to 2024-11-28 by @tautschnig in
model-checking#3753
* Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable
24.04 by @tautschnig in model-checking#3758
* Automatic cargo update to 2024-12-09 by @github-actions in
model-checking#3766
* Bump tests/perf/s2n-quic from `96d2e22` to `e4a2365` by @dependabot in
model-checking#3767
* Upgrade toolchain to 2024-12-09 by @carolynzech in
model-checking#3768
* Add out of bounds check for `offset` intrinsics by @celinval in
model-checking#3755
* Upgrade toolchain to 2024-12-12 by @carolynzech in
model-checking#3774
* Automatic toolchain upgrade to nightly-2024-12-13 by @github-actions
in model-checking#3775
## New Contributors
* @c410-f3r made their first contribution in
model-checking#3666
* @workingjubilee made their first contribution in
model-checking#3675
* @Alexander-Aghili made their first contribution in
model-checking#3360
* @AlgebraicWolf made their first contribution in
model-checking#3692
* @thanhnguyen-aws made their first contribution in
model-checking#3721
**Full Changelog**:
model-checking/kani@kani-0.56.0...kani-0.57.0
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
---------
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
…3785) Bumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from `e4a2365` to `0b3f892`. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/aws/s2n-quic/commit/0b3f892ec7d431249e41cae49fdc03869fd85b89"><code>0b3f892</code></a> ci: specify specific bolero dependency rather than workspace dependency in s2...</li> <li><a href="https://github.com/aws/s2n-quic/commit/1d2aaa74fcbf5778d358b2eabc867619ec79c5b9"><code>1d2aaa7</code></a> ci: specify specific bolero dependency rather than workspace dependency (<a href="https://redirect.github.com/aws/s2n-quic/issues/2424">#2424</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/5dd0c47159868d3ee190f8d0f701b81c6cc39a03"><code>5dd0c47</code></a> fix(s2n-quic-dc): make debug assertions cheaper for TCP accept manager (<a href="https://redirect.github.com/aws/s2n-quic/issues/2419">#2419</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/b6ace28f4996fd4a13a2ebbcbde981087ae2da30"><code>b6ace28</code></a> fix(ci): fix the release (<a href="https://redirect.github.com/aws/s2n-quic/issues/2423">#2423</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/1b657152ba651b71aa5aff7e63343aaf3b892ecf"><code>1b65715</code></a> ci: add neqo from required resumption test client (<a href="https://redirect.github.com/aws/s2n-quic/issues/2420">#2420</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/0006a288ef782ebab4f73a0d1cc3706149e97831"><code>0006a28</code></a> ci: remove bench test from s2n-quic CI (<a href="https://redirect.github.com/aws/s2n-quic/issues/2418">#2418</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/d59d63a9e801fb34799e4f5eafa4bc806c93deff"><code>d59d63a</code></a> ci: update h3spec to 0.11 (<a href="https://redirect.github.com/aws/s2n-quic/issues/2416">#2416</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/05ac54c2369c2e17d1efb09890d8f653d15cbb50"><code>05ac54c</code></a> build: do fewer optimizations in release (<a href="https://redirect.github.com/aws/s2n-quic/issues/2417">#2417</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/85f3048c48727113a5e7154800bb889d37d76bf7"><code>85f3048</code></a> ci: update wireshark to v4 (<a href="https://redirect.github.com/aws/s2n-quic/issues/2160">#2160</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/7e37e7748c9e9a6f0b457acf39aaa0c48e1a3bc0"><code>7e37e77</code></a> fix(s2n-quic-dc): use wake_forced for worker::Waker (<a href="https://redirect.github.com/aws/s2n-quic/issues/2415">#2415</a>)</li> <li>Additional commits viewable in <a href="https://github.com/aws/s2n-quic/compare/e4a236578bcb36109d238753307c970d6c997666...0b3f892ec7d431249e41cae49fdc03869fd85b89">compare view</a></li> </ul> </details> <br /> Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Culprit PRs: - rust-lang/rust#133938, specifically rust-lang/rust@1d56943 - rust-lang/rust#134295 For coroutine closures, I opened model-checking#3783 to track feature support--adding support for this appears non-trivial, and I didn't want to block toolchain upgrades on it. Resolves model-checking#3781 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
By now, we have updated to 2024-12-14. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
…king#3789) The "Package Docker" job failed with "error: linker `cc` not found", see https://github.com/model-checking/kani/actions/runs/12371001460/job/34526835431. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Improve the documentation for the `--jobs` option, change it to use
`hide_short_help` like other unstable options, and print the current
thread number so that users can match the harness to its output.
Example:
```rust
#[kani::modifies(x)]
#[kani::ensures(|_| x.iter().map(|v| *v == 0).fold(true,|a,b|a&b))]
fn zero(x: &mut [u8]) {
x.fill(0)
}
#[kani::proof_for_contract(zero)]
fn harness() {
let mut x = [kani::any(), kani::any(), kani::any()];
zero(&mut x);
}
#[kani::proof]
fn harness_2() {
assert!(true);
}
#[kani::proof]
fn harness_3() {
assert!(false);
}
```
```
cargo kani -j --enable-unstable --output-format=terse -Z function-contracts
Kani Rust Verifier 0.57.0 (cargo plugin)
warning: Found the following unsupported constructs:
- caller_location (1)
- foreign function (1)
Verification will fail if one or more of these constructs is reachable.
See https://model-checking.github.io/kani/rust-feature-support.html for more details.
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.02s
Thread 4: Checking harness harness_2...
Thread 2: Checking harness harness_3...
Thread 4:
VERIFICATION RESULT:
** 0 of 1 failed
VERIFICATION:- SUCCESSFUL
Verification Time: 0.0137195s
Thread 2:
VERIFICATION RESULT:
** 1 of 1 failed
Failed Checks: assertion failed: false
File: "src/lib.rs", line 26, in harness_3
VERIFICATION:- FAILED
Verification Time: 0.012914542s
Thread 0: Checking harness harness...
Thread 0:
VERIFICATION RESULT:
** 0 of 217 failed
VERIFICATION:- SUCCESSFUL
Verification Time: 18.47224s
Summary:
Verification failed for - harness_3
Complete - 2 successfully verified harnesses, 1 failures, 3 total.
```
By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
---------
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
New in 4.0.1 is gate extraction and clausal congruence closure. It could help improve performance in equivalence checking problems, by detecting and merging structurally equivalent literals and clauses within a SAT formula. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Remi Delmas <delmasrd@amazon.com>
Dependency upgrade resulting from `cargo update`. Co-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>
…3793) Bumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from `0b3f892` to `a54686e`. <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/aws/s2n-quic/commit/a54686e4e1daad2afbbc01fccaf4cc1a512c58bf"><code>a54686e</code></a> build(deps): bump docker/setup-buildx-action from 3.7.1 to 3.8.0 (<a href="https://redirect.github.com/aws/s2n-quic/issues/2427">#2427</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/bf217ba3455e17801153d8c4a895512850479a8a"><code>bf217ba</code></a> build(deps): update rbpf requirement from 0.2 to 0.3 in /tools/xdp (<a href="https://redirect.github.com/aws/s2n-quic/issues/2320">#2320</a>)</li> <li><a href="https://github.com/aws/s2n-quic/commit/3d27756437a4d4794b35e482a3cbcee8cc6c22f5"><code>3d27756</code></a> build(deps): update bindgen requirement from 0.70 to 0.71 in /tools/xdp (<a href="https://redirect.github.com/aws/s2n-quic/issues/2426">#2426</a>)</li> <li>See full diff in <a href="https://github.com/aws/s2n-quic/compare/0b3f892ec7d431249e41cae49fdc03869fd85b89...a54686e4e1daad2afbbc01fccaf4cc1a512c58bf">compare view</a></li> </ul> </details> <br /> Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Relevant upstream PR: rust-lang/rust#131808. This required replacing `rustc_ast::Attribute` with the new `rustc_hir::Attribute`. Resolves model-checking#3788 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Dependency upgrade resulting from `cargo update`. Co-authored-by: tautschnig <1144736+tautschnig@users.noreply.github.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
test if the ubuntu runner can handle these tests
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.