Skip to content

Fixing Snowman's Filter Source

Athan Clark requested to merge snowman-filter-source-20210922 into master

The original edit made in !250 (merged) used filterSource rather than the gitignore mechanism before. However, because we were only matching on the string suffix to determine a source path, we weren't able to have nested modules like src/Foo/Bar.hs, only src/Foo.hs.

The current MR remediates this issue by removing the prefixed current directory, and matching on the path suffix rather than prefix.

There are a few CI pipelines failing - one due to the MacOS server not being found (something about elpaso?), and the other from isreal because permissions were denied.

Merge request reports