Skip to content

Fix testing setup on macOS with BSD find

Tej Chajed requested to merge tchajed/iris-coq:fix-tests-macos into master

BSD's find adds an extra / when invoked on tests/, and this confuses the test dependency management.

Edited by Tej Chajed

Merge request reports