Skip to content

Add teaching sample indicator#80

Merged
MImmesberger merged 4 commits into
mainfrom
clean-cirdef
Jun 11, 2026
Merged

Add teaching sample indicator#80
MImmesberger merged 4 commits into
mainfrom
clean-cirdef

Conversation

@MImmesberger

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented May 4, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

MImmesberger and others added 2 commits May 4, 2026 22:18
…fix module)

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

@hmgaudecker hmgaudecker left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks! I think we should just add this.

@MImmesberger MImmesberger merged commit ed624f4 into main Jun 11, 2026
5 checks passed
@MImmesberger MImmesberger deleted the clean-cirdef branch June 11, 2026 07:00
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