Code

Bump actions/checkout to v3#1990

Code

Merged

tedinski merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom tedinski:checkout-3tedinski/rmc:checkout-3Copy head branch name to clipboardDec 13, 2022

+12-12

Commits

Commits on Dec 12, 2022

• Bump actions/checkout to v3

  tedinski

  committed
  92591b2

  Copy full SHA for 92591b2

Commits on Dec 13, 2022

• Merge branch 'main' into checkout-3

  tedinski

  authored
  f3d1275

  Copy full SHA for f3d1275