Skip to content

Feat/central progress logging#151

Merged
Marc-AnthonyG merged 12 commits into
mainfrom
feat/central-progress-logging
Jul 9, 2026
Merged

Feat/central progress logging#151
Marc-AnthonyG merged 12 commits into
mainfrom
feat/central-progress-logging

Conversation

@jwric

@jwric jwric commented Jun 15, 2026

Copy link
Copy Markdown
Member

No description provided.

jwric added 11 commits July 3, 2026 11:41
- Introduced activity tracking primitives in `activity.rs`, modeling progress as a tree of named activities.
- Replaced the existing progress tracking system with the new activity system, including the `ActivityEvent` and `ActivityGuard` structures.
- Updated `ExperimentTrainingProgressLogger` and `ExperimentEvaluationProgressLogger` to utilize the new activity tracking system.
- Removed the obsolete `progress.rs` file and its associated structures.
- Adjusted the remote session handling to accommodate activity events instead of progress events.
- Updated tests to reflect changes in the activity tracking implementation.
@jwric
jwric force-pushed the feat/central-progress-logging branch from be7982b to 67d01d8 Compare July 7, 2026 13:49
@jwric
jwric marked this pull request as ready for review July 7, 2026 18:27
@jwric
jwric requested a review from Marc-AnthonyG July 7, 2026 18:27
@Marc-AnthonyG
Marc-AnthonyG merged commit f6f4b65 into main Jul 9, 2026
1 check passed
@Marc-AnthonyG
Marc-AnthonyG deleted the feat/central-progress-logging branch July 9, 2026 14:03
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.

2 participants