Skip to content

Comments

fix the linter once more#35552

Merged
dimpase merged 1 commit intosagemath:developfrom
fchapoton:fix_linter
May 3, 2023
Merged

fix the linter once more#35552
dimpase merged 1 commit intosagemath:developfrom
fchapoton:fix_linter

Conversation

@fchapoton
Copy link
Contributor

📚 Description

Fixing the linter workflow

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • 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 accordingly.

⌛ Dependencies

@dimpase
Copy link
Member

dimpase commented May 3, 2023

this is a linting showstopper for weeks. Only whitespaces removed here.

@github-actions
Copy link

github-actions bot commented May 3, 2023

Documentation preview for this PR is ready! 🎉
Built with commit: f6f4e40

@dimpase dimpase merged commit 4140517 into sagemath:develop May 3, 2023
@fchapoton fchapoton deleted the fix_linter branch July 16, 2023 19:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants