Skip to content

Conversation

@aucampia
Copy link
Member

Summary of changes

flakeheaven was changed to place its cache directory in the working directory, this change adds the flakeheaven cache directory to the .gitignore file.

Checklist

  • Checked that there aren't other open pull requests for
    the same change.
  • Added tests for any changes that have a runtime impact.
  • Checked that all tests and type checking passes.
  • Considered granting push permissions to the PR branch,
    so maintainers can fix minor issues and keep your PR up to date.

flakeheaven was changed to place its cache directory in the working directory,
this change adds the flakeheaven cache directory to the `.gitignore` file.
@coveralls
Copy link

Coverage Status

Coverage: 90.854%. Remained the same when pulling 3b00b5c on aucampia:aucampia/20230519T1207-fix_gitignore into e103078 on RDFLib:main.

@aucampia
Copy link
Member Author

Merging without review, as this only changes .gitignore.

@aucampia aucampia merged commit 75178cf into RDFLib:main May 19, 2023
@aucampia aucampia deleted the aucampia/20230519T1207-fix_gitignore branch June 8, 2023 17:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants