Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Record Feature Progress #499

Merged
merged 2 commits into from
Oct 4, 2024
Merged

Record Feature Progress #499

merged 2 commits into from
Oct 4, 2024

Conversation

eklaDFF
Copy link

@eklaDFF eklaDFF commented Oct 4, 2024

  1. Add Tests for record feature
  2. modification in setBootstrap(...)

@eklaDFF eklaDFF mentioned this pull request Oct 4, 2024
Open
@cyrille-artho cyrille-artho merged commit 4ffa7e9 into javapathfinder:java-17 Oct 4, 2024
0 of 2 checks passed
@eklaDFF eklaDFF deleted the RecordBranch branch January 29, 2025 01:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cyrille-artho cyrille-artho cyrille-artho approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@eklaDFF @cyrille-artho