Merge remote-tracking branch 'sov-wip/main' into soares/update-20240326

informalsystems · Mar 26, 2024 · 7be5923 · 7be5923
2 parents 26a8cce + f983b48
commit 7be5923
Show file tree

Hide file tree

Showing 72 changed files with 2,617 additions and 416 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,4 +7,5 @@
 docker/credentials/*
 !docker/credentials/bridge-0.addr
 !docker/credentials/bridge-0.key
+.keys
 result