Code

replace checkoutv3 with clone#3741

Code

Closed

thanhnguyen-aws wants to merge 5 commits intomodel-checking:mainmodel-checking/kani:mainfrom thanhnguyen-aws:fix-releasethanhnguyen-aws/kani:fix-releaseCopy head branch name to clipboard

+4-1

Commits

Commits on Nov 26, 2024

• replace checkoutv3 with clone

  thanhnguyen-aws

  committed
  04ec3bd

  Copy full SHA for 04ec3bd

Commits on Nov 27, 2024

• fix release.yml

  thanhnguyen-aws

  committed
  6162531

  Copy full SHA for 6162531

• Clone to current directory

  zhassan-aws

  committed
  18a1190

  Copy full SHA for 18a1190

• Use full repository URL

  zhassan-aws

  committed
  11d3a2c

  Copy full SHA for 11d3a2c

• Mark directory as safe

  zhassan-aws

  committed
  64b7a5e

  Copy full SHA for 64b7a5e