Skip to content

Conversation

@lola831
Copy link
Collaborator

@lola831 lola831 commented Dec 18, 2025

Description

Reverts the MetaDrive extra to a version-based PyPI dependency, gates MetaDrive under test-full on Python 3.12+, and updates the docs with installation notes (Python 3.12+, macOS 3D, braking), and adjusts MetaDrive tests to xfail the 0.4.3 braking/handbrake issue.

Issue Link

Checklist

  • I have tested the changes locally via pytest and/or other means
  • I have added or updated relevant documentation
  • I have autoformatted the code with black and isort
  • I have added test cases (if applicable)

Additional Notes

@lola831 lola831 requested a review from dfremont December 18, 2025 18:14
Copy link
Collaborator

@dfremont dfremont left a comment

Choose a reason for hiding this comment

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

Looks good, just a couple minor comments above.

@codecov
Copy link

codecov bot commented Dec 18, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.02%. Comparing base (8a2081a) to head (6765a14).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #431      +/-   ##
==========================================
+ Coverage   89.91%   90.02%   +0.11%     
==========================================
  Files          54       54              
  Lines       13578    13585       +7     
==========================================
+ Hits        12208    12230      +22     
+ Misses       1370     1355      -15     

see 8 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@lola831 lola831 requested a review from dfremont December 18, 2025 18:44
@dfremont dfremont merged commit 156b54b into BerkeleyLearnVerify:main Dec 18, 2025
19 of 29 checks passed
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