FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

misc: Remove decrepit folders by EdCaunt · Pull Request #2663 · devitocodes/devito · GitHub

/ devito Public

misc: Remove decrepit folders - #2663

Merged
mloubout merged 1 commit into
mainfrom
remove-detritus
Jul 30, 2025
ConversationCommits (1)ChecksFiles changed
Merged

misc: Remove decrepit folders#2663
mloubout merged 1 commit into
mainfrom
remove-detritus

Conversation

EdCaunt commented Jul 11, 2025

Copy link
Copy Markdown
Contributor

No description provided.

EdCaunt self-assigned this Jul 11, 2025
EdCaunt added the misc label Jul 11, 2025
EdCaunt requested review from ggorman and mloubout July 11, 2025 15:03

codecov Bot commented Jul 11, 2025 •
edited
Loading

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.32%. Comparing base (80f1eee) to head (ac82032).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files 
@@           Coverage Diff           @@
##             main    #2663   +/-   ##
=======================================
  Coverage   91.32%   91.32%           
=======================================
  Files         245      245           
  Lines       49093    49093           
  Branches     4322     4322           
=======================================
  Hits        44835    44835           
  Misses       3538     3538           
  Partials      720      720
Flag Coverage Δ
pytest-gpu-aomp-amdgpuX 72.51% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

mloubout commented Jul 12, 2025

Copy link
Copy Markdown
Contributor

Can you remove the old sphinx stuff as well while at it?

EdCaunt commented Jul 14, 2025

Copy link
Copy Markdown
Contributor Author

Where is the Sphinx stuff? I don't see any docs/ folder in the repo?

EdCaunt force-pushed the remove-detritus branch 4 times, most recently from 2b3554b to 1d110b5 Compare July 17, 2025 09:47
enwask reviewed Jul 17, 2025
View reviewed changes

enwask left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Small oversight

Comment thread scripts/set_omp_pinning.sh
mloubout merged commit d995805 into main Jul 30, 2025
35 of 36 checks passed
mloubout deleted the remove-detritus branch July 30, 2025 17:43
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Show hidden characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

FabioLuporini FabioLuporini approved these changes
ggorman Awaiting requested review from ggorman
mloubout Awaiting requested review from mloubout
+1 more reviewer
enwask enwask left review comments
Reviewers whose approvals may not affect merge requirements

Assignees

EdCaunt

Labels

misc

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

Back | FazBrowse Home | New Git URL