Skip to content

feat: rate-limit activity printing#12

Merged
mosteo merged 3 commits intomasterfrom
feat/rate-limit
Feb 1, 2026
Merged

feat: rate-limit activity printing#12
mosteo merged 3 commits intomasterfrom
feat/rate-limit

Conversation

@mosteo
Copy link
Member

@mosteo mosteo commented Feb 1, 2026

No description provided.

Copilot AI review requested due to automatic review settings February 1, 2026 22:22
Copy link
Contributor

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 rate limiting for status-line/activity updates to reduce terminal spam while keeping spinner animation responsive.

Changes:

  • Introduces Max_Updates_Per_Second configuration to cap activity/status updates.
  • Extends Ongoing.Step with a Keyframe parameter to force an update even when rate-limited.
  • Implements global rate limiting in the Step implementation using Last_Update and per-Ongoing Period.

Reviewed changes

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

File Description
src/simple_logging.ads Adds rate-limit configuration, extends Step API, and stores per-activity update period.
src/simple_logging.adb Implements rate limiting for status-line updates via Last_Update checks in Step.

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

Copy link
Contributor

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 2 out of 2 changed files in this pull request and generated 3 comments.


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

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@mosteo mosteo merged commit 9c4b310 into master Feb 1, 2026
5 checks passed
@mosteo mosteo deleted the feat/rate-limit branch February 1, 2026 22:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant