Merge pull request #1077 from utwente-fmt/refactor-origin-add-req-names #1670
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / TestReport
succeeded
Oct 12, 2023 in 1s
TestReport ✅
Report exceeded GitHub limit of 65535 bytes and has been trimmed
Loading