Code

[Prover][Spec] Fix apply schema#8518

Code

Merged

rahxephon89 merged 5 commits intomainaptos-labs/aptos-core:mainfrom prover-apply-bugaptos-labs/aptos-core:prover-apply-bugCopy head branch name to clipboardJun 7, 2023

+39-7

Commits

Commits on Jun 4, 2023

• fix apply schema

  rahxephon89

  committed
  9782f7d

• fix coin spec

  rahxephon89

  committed
  f534e88

Commits on Jun 5, 2023

• fix trigger condition for build jobs

  

  geekflyer

  authored and

  sionescu

  committed
  034d011

Commits on Jun 6, 2023

• Merge branch 'main' into prover-apply-bug

  rahxephon89

  authored
  c4509fa

• Merge branch 'main' into prover-apply-bug

  rahxephon89

  authored
  c452e0c