Merge pull request #1076 from utwente-fmt/inline-pattern-let #1659
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