Skip to content

folding with overlays#2230

Open
mahmoodsh36 wants to merge 10 commits into
lem-project:mainfrom
mahmoodsh36:folding
Open

folding with overlays#2230
mahmoodsh36 wants to merge 10 commits into
lem-project:mainfrom
mahmoodsh36:folding

address feedback on docstring conventions

82fecb5
Select commit
Loading
Failed to load commit list.
Code Contractor App / Code Contractor required action Jul 8, 2026 in 0s

Re-validation required

New commits were pushed, but they have not been validated yet.

Re-run validation with any of the following:

  • Click the Run Validation button above
  • Comment @code-contractor-app on the pull request
  • Comment /revalidate on the pull request (also restores previously dismissed violations; requires write permission)
  • Re-request a review from the bot in the Reviewers panel