Skip to content

chore: move linux postgres install command to its right section in the setup-dev.md docs page #1590

chore: move linux postgres install command to its right section in the setup-dev.md docs page

chore: move linux postgres install command to its right section in the setup-dev.md docs page #1590

Re-run triggered November 8, 2023 06:09
Status Success
Total duration 4m 44s
Artifacts

ci.yml

on: pull_request
Get changed files
15s
Get changed files
Matrix: Build core images / Build and Push Docker Images
Waiting for pending jobs
Matrix: Build prover images / Build and Push Docker Images
Waiting for pending jobs
CI for Docs  /  lint
2m 33s
CI for Docs / lint
CI for Core Components  /  external-node
CI for Core Components / external-node
CI for Core Components  /  integration
CI for Core Components / integration
CI for Core Components  /  ...  /  code_lint
CI for Core Components / lint / code_lint
CI for Core Components  /  loadtest
CI for Core Components / loadtest
CI for Core Components  /  unit-tests
CI for Core Components / unit-tests
CI for Core lint Components  /  code_lint
CI for Core lint Components / code_lint
CI for Prover Components  /  lint
CI for Prover Components / lint
CI for Prover Components  /  unit-tests
CI for Prover Components / unit-tests
Github Status Check
1s
Github Status Check
Fit to window
Zoom out
Zoom in