Fix errors reported by latest Clippy #204
ivmarkov
deleted the fix-clippy-errs branch 1 year ago
ivmarkov
restored the head branch 1 year ago
Fix errors reported by latest Clippy
09affe24
ivmarkov
force pushed
from
8a7fd511
to
09affe24
1 year ago
Also update the upload-artifact version as the old one is removed
a9a2cfdd
kedars
approved these changes
on 2024-09-14
kedars
merged
2dc8cff2
into main 1 year ago
ivmarkov
deleted the fix-clippy-errs branch 329 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub