Skip to content

Update build command in docs to use release mode#3846

Merged
zhassan-aws merged 1 commit intomodel-checking:mainfrom zhassan-aws:build-releaseJan 22, 2025
+6-1

Commits

Commits on Jan 21, 2025