Skip to content

Add healthcheck summary & list bad devices commands to lava-rs example#18

Merged
sjoerdsimons merged 2 commits into
collabora:mainfrom
obbardc:wip/obbardc/healthcheck
Mar 29, 2026
Merged

Add healthcheck summary & list bad devices commands to lava-rs example#18
sjoerdsimons merged 2 commits into
collabora:mainfrom
obbardc:wip/obbardc/healthcheck

Conversation

@obbardc
Copy link
Copy Markdown
Contributor

@obbardc obbardc commented Mar 28, 2026

No description provided.

@obbardc obbardc force-pushed the wip/obbardc/healthcheck branch 3 times, most recently from d3db768 to 83b18ff Compare March 28, 2026 10:29
Comment thread .github/workflows/ci.yml Outdated
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds new CLI subcommands to the lava-api lava-rs example to help operators summarize device healthcheck outcomes and quickly list devices in a bad state.

Changes:

  • Add bad-devices command to list bad devices and (when available) show how long since the latest failed healthcheck.
  • Add healthchecks command to summarize passed/failed healthchecks for a specific device (optionally listing failed job IDs).
  • Introduce a small duration-formatting helper for “since” output.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread lava-api/examples/lava-rs/main.rs Outdated
Comment thread lava-api/examples/lava-rs/main.rs Outdated
Comment thread lava-api/examples/lava-rs/main.rs Outdated
Add a `healthchecks` subcommand to the lava-rs tool to summarise
healthcheck job results for a specific device.

The command scans finished jobs, filters healthcheck jobs for the
requested device and reports passed/failed totals as well as expressing
the total as a percentage. It can optionally prints the job IDs of
failed healthcheck jobs.

This makes it easier to quickly inspect a device's healthcheck history.

Signed-off-by: Christopher Obbard <christopher.obbard@linaro.org>
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 3 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread lava-api/examples/lava-rs/main.rs Outdated
Comment thread lava-api/examples/lava-rs/main.rs Outdated
Comment thread lava-api/examples/lava-rs/main.rs
@obbardc obbardc force-pushed the wip/obbardc/healthcheck branch from bd774f3 to 1ed0156 Compare March 29, 2026 10:09
Add a `bad-devices` subcommand to the lava-rs tool to list devices
currently marked with bad health and how long the device has been bad
for. The list is sorted by how long the device has been bad for - oldest
first.

For each bad device print the hostname, worker host, tags and the
device description.

Signed-off-by: Christopher Obbard <christopher.obbard@linaro.org>
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 2 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread lava-api/examples/lava-rs/main.rs
Comment thread lava-api/examples/lava-rs/main.rs
@sjoerdsimons sjoerdsimons added this pull request to the merge queue Mar 29, 2026
Merged via the queue into collabora:main with commit 0ccc233 Mar 29, 2026
11 checks passed
@obbardc obbardc deleted the wip/obbardc/healthcheck branch March 29, 2026 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants