Skip to content

FIX: set minimum pytorch/torchvision versions#104

Merged
yuleisui merged 1 commit into
SVF-tools:mainfrom
hanyuone:pytorch-update
Jul 20, 2026
Merged

FIX: set minimum pytorch/torchvision versions#104
yuleisui merged 1 commit into
SVF-tools:mainfrom
hanyuone:pytorch-update

Conversation

@hanyuone

Copy link
Copy Markdown
Contributor

Set a minimum version of supported pytorch, as per comments by @guanqin-123.

@codecov

codecov Bot commented Jul 20, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 73.53%. Comparing base (8820c45) to head (cf0ddcf).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #104      +/-   ##
==========================================
+ Coverage   73.51%   73.53%   +0.01%     
==========================================
  Files          91       91              
  Lines       20506    20506              
==========================================
+ Hits        15076    15079       +3     
+ Misses       5430     5427       -3     
Flag Coverage Δ
bab 45.72% <ø> (ø)
backend-float32 49.55% <ø> (+0.02%) ⬆️
backend-float64 49.56% <ø> (ø)
frontend 32.91% <ø> (ø)
pipeline-fuzz 20.51% <ø> (ø)
pipeline-verify 39.47% <ø> (-0.35%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.
see 2 files with indirect coverage changes


Continue to review full report in Codecov by Harness.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8820c45...cf0ddcf. Read the comment docs.

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

@yuleisui
yuleisui merged commit a5bf2e2 into SVF-tools:main Jul 20, 2026
8 checks passed
@hanyuone
hanyuone deleted the pytorch-update branch July 20, 2026 06:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants