We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Once #19 is merged, we'll need to add a workflow to upload results to https://coveralls.io.
There's an existing GH action to implement this (https://github.com/marketplace/actions/coveralls-github-action), but there are some additional configurations to consider.
.coveralls.yml
github.token
README.md
Also, this step should probably run only on PRs into master or immediately after a PR is merged into master.
master
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Once #19 is merged, we'll need to add a workflow to upload results to https://coveralls.io.
There's an existing GH action to implement this (https://github.com/marketplace/actions/coveralls-github-action), but there are some additional configurations to consider.
.coveralls.yml
with the new repo tokengithub.token
is sufficient for our use caseREADME.md
to point to the appropriate endpointAlso, this step should probably run only on PRs into
master
or immediately after a PR is merged intomaster
.The text was updated successfully, but these errors were encountered: