-
Notifications
You must be signed in to change notification settings - Fork 38
Closed
Labels
documentationImprovements or additions to documentationImprovements or additions to documentationsand
Description
On top of https://github.com/o1-labs/openmina/pull/1234.
The build instructions should be included in the getting started section, see https://github.com/o1-labs/openmina/blob/dw/docs-docusaurus/website/docs/developers/getting-started.mdx.
The instructions should be built in the CI, as it is here for Ubuntu.
The CI jobs are run on nightly or on demand.
act -j [job_name]
can be used locally to replicate CI behavior.
Metadata
Metadata
Assignees
Labels
documentationImprovements or additions to documentationImprovements or additions to documentationsand
Type
Projects
Status
Done