Fix cpu time on Windows - Githubissues

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.46k stars 482 forks source link

Fix cpu time on Windows #39007

Open tobiasdiez opened 2 days ago

tobiasdiez commented 2 days ago

Currently, it uses resources which is not available on Windows. For cross-platform purposes, we change it to use time.process_time() instead.

Also add type hints and minor reformating.

:memo: Checklist

[ ] The title is concise and informative.
[ ] The description explains in detail what this PR is about.
[ ] I have linked a relevant issue or discussion.
[ ] I have created tests covering the changes.
[ ] I have updated the documentation and checked the documentation preview.

:hourglass: Dependencies

github-actions[bot] commented 2 days ago

Documentation preview for this PR (built with commit cadeed8e9e2455119cb7a213a939679f4e41dfaa; changes) is ready! :tada: This preview will update shortly after each push to this PR.