Use fork of Coverage

This commit is contained in:
David Anthoff
2019-09-15 17:54:55 -07:00
parent 569f9c021c
commit 025429e1ef
2 changed files with 4 additions and 2 deletions

View File

@@ -18,7 +18,8 @@ async function run() {
}
if(coveralls=='true') {
await exec.exec('julia', ['--color=yes', '-e', 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'])
// await exec.exec('julia', ['--color=yes', '-e', 'using Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(process_folder())'])
await exec.exec('julia', ['--color=yes', '-e', 'using Pkg; Pkg.add(PackageSpec(url="https://github.com/davidanthoff/Coverage.jl.git", rev="githubactions")); using Coverage; Coveralls.submit(process_folder())'])
}
} catch (error) {
core.setFailed(error.message)