Skip to content

Recursively exclude examples/incomplete from testing targets#1

Merged
strub merged 2 commits into
EasyCrypt:1.0from
fdupress:1.0
Sep 28, 2017
Merged

Recursively exclude examples/incomplete from testing targets#1
strub merged 2 commits into
EasyCrypt:1.0from
fdupress:1.0

exclude examples/incomplete recursively

0579c5a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs