strip optional Pname from load #227

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.

Sign up for GitHub

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

Merged

jkrech merged 10 commits into main from strip_pname

Sep 23, 2025

Merged

strip optional Pname from load #227

fix

GitHub Actions / Test Results succeeded Sep 19, 2025 in 0s

All 180 tests pass in 13s

6 files 54 suites 13s ⏱️
180 tests 180 ✅ 0 💤 0 ❌
1 080 runs 1 080 ✅ 0 💤 0 ❌

Results for commit 80ed59b.

View more details on GitHub Actions