Skip to content

Remove deprecated time module #2476

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Nov 11, 2024
Merged

Conversation

EwoutH
Copy link
Member

@EwoutH EwoutH commented Nov 9, 2024

The time module was already deprecated, this PR removes it. See:

Targeted at Mesa 3.1.

@EwoutH EwoutH added maintenance Release notes label deprecation When a new deprecation is introduced labels Nov 9, 2024
@EwoutH EwoutH added this to the v3.1 milestone Nov 9, 2024
@EwoutH
Copy link
Member Author

EwoutH commented Nov 9, 2024

#2475 should let the docs build pass.

Copy link

github-actions bot commented Nov 9, 2024

Performance benchmarks:

Model Size Init time [95% CI] Run time [95% CI]
BoltzmannWealth small 🔵 +1.8% [+0.3%, +3.3%] 🔵 +1.5% [+1.3%, +1.7%]
BoltzmannWealth large 🔵 +0.2% [-0.4%, +0.7%] 🔵 +3.2% [+1.2%, +5.5%]
Schelling small 🔵 +0.5% [-0.0%, +0.9%] 🔵 +1.2% [+0.8%, +1.5%]
Schelling large 🔵 +0.9% [+0.1%, +1.7%] 🔵 -0.6% [-2.3%, +1.0%]
WolfSheep small 🔵 +0.5% [+0.2%, +0.7%] 🔵 +0.0% [-0.2%, +0.2%]
WolfSheep large 🔵 -0.3% [-1.8%, +1.1%] 🔵 -2.2% [-4.1%, -0.2%]
BoidFlockers small 🔵 +0.9% [+0.4%, +1.3%] 🔵 +3.3% [+2.6%, +4.1%]
BoidFlockers large 🔵 +2.7% [+1.9%, +3.3%] 🔴 +4.1% [+3.5%, +4.7%]

@EwoutH EwoutH force-pushed the remove_schedulers branch from 802161d to 67d9b62 Compare November 9, 2024 16:01
The time module was already deprecated, this PR removes it.
@EwoutH EwoutH merged commit 1eae74e into projectmesa:main Nov 11, 2024
11 of 12 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
deprecation When a new deprecation is introduced maintenance Release notes label
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants