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.

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

[MNT] mypy fixes #295

Merged
merged 2 commits into from
Oct 9, 2024
Merged

[MNT] mypy fixes #295

merged 2 commits into from
Oct 9, 2024

Conversation

MatthewMiddlehurst
Copy link
Member

No description provided.

@tsml-actions-bot tsml-actions-bot bot added maintenance Continuous integration, unit testing & package distribution publications Publication related issue or pull request labels Oct 9, 2024
@tsml-actions-bot
Copy link
Contributor

Thank you for contributing to tsml-eval

I have added the following labels to this PR based on the title: [ $\color{#EC843A}{\textsf{maintenance}}$ ].
I have added the following labels to this PR based on the changes made: [ $\color{#03D163}{\textsf{publications}}$ ]. Feel free to change these if they do not properly represent the PR.

The Checks tab will show the status of our automated tests. You can click on individual test runs in the tab or "Details" in the panel below to see more information if there is a failure.

PR CI actions

These checkboxes will add labels to enable/disable CI functionality for this PR. This may not take effect immediately, and a new commit may be required to run the new configuration.

  • Run pre-commit checks for all files
  • Run all pytest tests and configurations
  • Run all notebook example tests
  • Stop automatic pre-commit fixes (always disabled for drafts)
  • Push an empty commit to re-run CI checks

@MatthewMiddlehurst MatthewMiddlehurst removed the publications Publication related issue or pull request label Oct 9, 2024
@MatthewMiddlehurst MatthewMiddlehurst merged commit 75dfaba into main Oct 9, 2024
13 checks passed
@MatthewMiddlehurst MatthewMiddlehurst deleted the mm/typecheck branch October 9, 2024 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Continuous integration, unit testing & package distribution
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant