Skip to content

Conversation

@valitydev-bot
Copy link

@valitydev-bot valitydev-bot commented Feb 28, 2022

Synced local file(s) with valitydev/configurations.

Changed files
  • Synced local .github/workflows/basic-linters.yml with remote workflows/base/basic-linters.yml
  • Created local .github/settings.yml from remote .github/settings.yml
  • Synced local .github/settings.yml with remote erlang/.github/settings.yml

This PR was created automatically by the repo-file-sync-action workflow run #4159172700

@codecov
Copy link

codecov bot commented Feb 28, 2022

Codecov Report

Merging #7 (4e60683) into master (bc8368d) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master       #7   +/-   ##
=======================================
  Coverage   78.45%   78.45%           
=======================================
  Files          44       44           
  Lines        2237     2237           
=======================================
  Hits         1755     1755           
  Misses        482      482           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@valitydev-bot valitydev-bot force-pushed the update/default branch 19 times, most recently from 36c225b to 7d6072f Compare March 7, 2022 10:09
@valitydev-bot valitydev-bot force-pushed the update/default branch 8 times, most recently from 9ca2b6b to 02f80c2 Compare March 10, 2022 00:28
@valitydev-bot valitydev-bot force-pushed the update/default branch 8 times, most recently from edd4340 to a36aae3 Compare January 25, 2023 01:14
@valitydev-bot valitydev-bot force-pushed the update/default branch 7 times, most recently from 27ce300 to 375c00e Compare February 1, 2023 01:26
@valitydev-bot valitydev-bot force-pushed the update/default branch 7 times, most recently from 3f9964f to cf6b95b Compare February 8, 2023 01:18
@valitydev-bot valitydev-bot force-pushed the update/default branch 4 times, most recently from 6b44dfd to 507b541 Compare February 12, 2023 01:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants