Skip to content

feat: completion lines mid-progress#10

Merged
mosteo merged 4 commits intoalire-project:masterfrom
mosteo:feat/complete
Jan 30, 2026
Merged

feat: completion lines mid-progress#10
mosteo merged 4 commits intoalire-project:masterfrom
mosteo:feat/complete

Conversation

@mosteo
Copy link
Member

@mosteo mosteo commented Jan 30, 2026

No description provided.

@mosteo mosteo marked this pull request as ready for review January 30, 2026 15:40
Copilot AI review requested due to automatic review settings January 30, 2026 15:40
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 support for emitting a completion line (“done”/checkmark message) from status-line activities, including mid-progress, via an autocomplete text and a new New_Line operation.

Changes:

  • Extend Activity to accept an optional Autocomplete_Text used when the activity finalizes.
  • Add New_Line on Ongoing to print a completion line and advance output to the next line.
  • Store autocomplete text in Ongoing_Data.

Reviewed changes

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

File Description
src/simple_logging.ads Extends the public status-line API (Activity + New_Line) and adds autocomplete data to Ongoing_Data.
src/simple_logging.adb Implements autocomplete completion behavior in Finalize and adds New_Line rendering logic; adjusts status removal in Step.

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

mosteo and others added 3 commits January 30, 2026 16:57
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
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 3 out of 3 changed files in this pull request and generated 2 comments.


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

@mosteo mosteo merged commit 1ddbe32 into alire-project:master Jan 30, 2026
11 checks passed
@mosteo mosteo deleted the feat/complete branch January 30, 2026 16:17
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