Closed albsch closed 3 years ago
TODO: Fix the cp hack to move the coverdata files into the appropriate directory.
cp: cannot stat 'logs/*/*singledc*/../all.coverdata': No such file or directory
cp: cannot stat 'logs/*/*multidc*/../all.coverdata': No such file or directory
Superseded by #451
Replace Travis CI with Github Workflows. Updated rebar3 executable.