Code

Modify pr workflow#27

Code

Closed

jaisnan wants to merge 22 commits intomain-backupjaisnan/rust-dev:main-backupfrom modify-pr-workflowjaisnan/rust-dev:modify-pr-workflowCopy head branch name to clipboard

+23,252-13,411

Commits

Commits on Jul 17, 2024

• Squashed 'library/' changes from 88f0106..a2cf636

  Show description for dd0d265
  jaisnan

  committed
  dd0d265

  Copy full SHA for dd0d265

• Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-2024-07-17

  jaisnan

  committed
  723914d

  Copy full SHA for 723914d

Commits on Jul 18, 2024

• Update toolchain to 07-17

  jaisnan

  committed
  b0cc943

  Copy full SHA for b0cc943

Commits on Jul 19, 2024

• Add a challenge for btree::node module (#26)

  Show description for 4f4d032
  zhassan-aws

  authored
  4f4d032

  Copy full SHA for 4f4d032

Commits on Aug 1, 2024

• char and ascii_char contracts (rust-lang#48)

  Show description for 0be79d6
  carolynzech

  authored
  0be79d6

  Copy full SHA for 0be79d6

Commits on Aug 12, 2024

• Add scripts for local subtree update (rust-lang#46)

  Show description for ec6d98e
  jaisnan

  authored
  ec6d98e

  Copy full SHA for ec6d98e

Commits on Aug 16, 2024

• prevent merge conflicts

  carolynzech

  committed
  01e4da0

  Copy full SHA for 01e4da0

• Squashed 'library/' changes from a2cf636..9cc3bc6

  Show description for 9d7b420
  carolynzech

  committed
  9d7b420

  Copy full SHA for 9d7b420

• Merge commit '9d7b4208352e30d0e2a3090a964ef6f711c407e9' into sync-2024-08-07

  carolynzech

  committed
  f5d8b9d

  Copy full SHA for f5d8b9d

• put kani imports back

  carolynzech

  committed
  9cec589

  Copy full SHA for 9cec589

• Update toolchain to 2024-08-07

  carolynzech

  committed
  1761d8a

  Copy full SHA for 1761d8a

• remove unstable ptr-to-ref-cast-checks and update submodules

  carolynzech

  committed
  24a0b16

  Copy full SHA for 24a0b16

Commits on Aug 20, 2024

• Contracts and harnesses for ptr::Unique (rust-lang#45)

  tautschnig

  authored
  c155b26

  Copy full SHA for c155b26

• Add harnesses for all functions in Alignment (rust-lang#42)

  tautschnig

  authored
  03c735b

  Copy full SHA for 03c735b

• Challenge proposal: SmallSort (rust-lang#57)

  qinheping

  authored
  5595535

  Copy full SHA for 5595535

• Add MD extension to SmallSort challenge (rust-lang#60)

  Show description for 62e241a
  carolynzech

  authored
  62e241a

  Copy full SHA for 62e241a

• Add challenge on memory safety of String (rust-lang#55)

  Show description for 359fe20
  

  zhassan-aws

  and

  tautschnig

  authored
  359fe20

  Copy full SHA for 359fe20

Commits on Aug 22, 2024

• modify pr workflow

  jaisnan

  committed
  0568983

  Copy full SHA for 0568983

• add dummy account to toml for testing

  jaisnan

  committed
  2c323e1

  Copy full SHA for 2c323e1

• add workflow

  jaisnan

  committed
  a25a449

  Copy full SHA for a25a449

• remove extra console log

  jaisnan

  committed
  d31df34

  Copy full SHA for d31df34

• check with one

  jaisnan

  committed
  aae2423

  Copy full SHA for aae2423