Implement --ignore-unmatched for uploading results #35

AndrianBdn merged 2 commits intomainHypersequent/qas-cli:mainfrom

andrian/unmatched-behavior-202511031221Hypersequent/qas-cli:andrian/unmatched-behavior-202511031221Copy head branch name to clipboard