Skip to content

Commit

Permalink
chore(docs): run fmt on docs (#3072)
Browse files Browse the repository at this point in the history
## What ❔

Stuff was left misformatted after
#3060.

Seems like we don't run `zks fmt` on PRs that only touch MD files

## Why ❔

<!-- Why are these changes done? What goal do they contribute to? What
are the principles behind them? -->
<!-- Example: PR templates ensure PR reviewers, observers, and future
iterators are in context about the evolution of repos. -->

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zk_supervisor fmt` and `zk_supervisor
lint`.
  • Loading branch information
itegulov authored Oct 11, 2024
1 parent 0f45d24 commit 748ee1b
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci-docs-reusable.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,4 +35,5 @@ jobs:
- name: Lints
run: |
ci_run zk_supervisor fmt --check
ci_run zk_supervisor lint -t md --check
4 changes: 2 additions & 2 deletions docs/guides/external-node/00_quick_start.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,8 +38,8 @@ sudo docker compose --file testnet-external-node-docker-compose.yml down --volum

### Observability

You can see the status of the node (after recovery) in [local grafana dashboard](http://localhost:3000/dashboards).
You can also access a debug page with more information about the node [here](http://localhost:5000).
You can see the status of the node (after recovery) in [local grafana dashboard](http://localhost:3000/dashboards). You
can also access a debug page with more information about the node [here](http://localhost:5000).

The HTTP JSON-RPC API can be accessed on port `3060` and WebSocket API can be accessed on port `3061`.

Expand Down

0 comments on commit 748ee1b

Please sign in to comment.