Code

update schema new enemy note#42

Code

Open

ecordell wants to merge 2 commits intomainauthzed/zanzibar-annotated:mainfrom schemanewenemynoteauthzed/zanzibar-annotated:schemanewenemynoteCopy head branch name to clipboard

+2-1

Commits

Commits on Apr 26, 2023

• update schema new enemy note

  ecordell

  authored
  4ba5c50

  Copy full SHA for 4ba5c50

• Update annotations-intro.yaml

  ecordell

  authored
  ea81040

  Copy full SHA for ea81040