More proc api

---

• Close #177 (closed)
• Follow-up for picodata!840 (merged) + picodata@3c7c0c97
• Target branch: main
• Changes should be cherry-picked to 24.1: yes / no
• Staging: https://docs.binary.picodata.io/picodata/branch-rosik-proc-api/

requested review from @gmoshkin

assigned to @rosik

added 2 commits

• a6c0f863 - proc_api.md: proc_runtime_info
• 91908ff5 - proc_api.md: correct proc_raft_info

Compare with previous version

approved this merge request

resolved all threads

added 13 commits

• 91908ff5...67718f0e - 9 commits from branch main
• b576eeda - proc_api.md: minor styling
• 4cebeb00 - proc_api.md: proc_instance_info
• 78bdf2fc - proc_api.md: proc_runtime_info
• bead388f - proc_api.md: correct proc_raft_info

Compare with previous version

enabled an automatic merge when the pipeline for bead388f succeeds

merged

mentioned in merge request !336 (merged)