28195379757
91%
main: 91%

Ran 25 Jun 2026 07:35PM UTC

Jobs 1

Files 91

Run time 1min

Badge

Embed ▾

Committed 25 Jun 2026 07:32PM UTC coverage: 90.155% (-0.3%) from 90.479%

Build # 28195379757

Build Type

push

github

Committed by

nbari

Commit Message

docs: add scripts/dev-up and DevPod usage with --ssh-config

- scripts/dev-up: host entrypoint that runs `devpod up . --ide none
  --id pg_exporter --ssh-config "$HOME/.ssh/devpod"`, forwards git identity /
  GITHUB_TOKEN / 1Password SSH agent, and hints to add `Include ~/.ssh/devpod`
  to ~/.ssh/config (override path via DEVPOD_SSH_CONFIG)
- Document the Dev Container / DevPod flow in README.md, CONTRIBUTING.md, and
  .devcontainer/README.md, including the --ssh-config setup

Coverage Stats

11136 of 12352 relevant lines covered (90.16%)

83.69 hits per line

Coverage Regressions

Lines	Coverage	∆	File
29	76.16	-19.21%	src/collectors/vacuum/progress.rs
12	77.46	-5.16%	tests/collectors/vacuum/progress.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	28195379757.1	25 Jun 2026 07:35PM UTC	91	90.16	GitHub Action Run

nbari / pg_exporter / 28195379757
91%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 28195379757

nbari / pg_exporter / 28195379757 91% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 28195379757

nbari / pg_exporter / 28195379757
91%
main: 91%

README BADGES
x