Repository navigation

Upgrade Rust toolchain to `nightly-2024-03-21` - #3102

Merged

adpaco merged 11 commits into

model-checking:mainfrom

adpaco:toolchain-upgrade-2024-03-21

Mar 27, 2024

Merged

Upgrade Rust toolchain to `nightly-2024-03-21`#3102
adpaco merged 11 commits into
model-checking:mainfrom
adpaco:toolchain-upgrade-2024-03-21

Commits on Mar 22, 2024
- Upgrade toolchain to `nightly-2024-03-21`
  adpaco
  committed
  f11e591
- Change lib name expected from `cargo` error
  adpaco
  committed
  fd5c742
- Merge branch 'main' into toolchain-upgrade-2024-03-21
  adpaco
  committed
  c2331c6
Commits on Mar 23, 2024
- Merge branch 'main' into toolchain-upgrade-2024-03-21
  celinval
  authored
  f7834a4
Commits on Mar 26, 2024
- Allow weaker comparison for targets
  adpaco
  committed
  1890d6e
- Merge branch 'main' into toolchain-upgrade-2024-03-21
  adpaco
  committed
  5d78479
- Add issue and make `clippy` happy
  adpaco
  committed
  d7ad909
- Last fixes
  adpaco
  committed
  4a426c6
- add `expect` to validity check
  adpaco
  committed
  623cb88
Commits on Mar 27, 2024
- Convert into "fixme" and refer to issue
  adpaco
  committed
  8f977a3
- Merge branch 'main' into toolchain-upgrade-2024-03-21
  adpaco
  authored
  4fc50b9