Skip to content
New issue

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

🔧 Add exempted labels for stale bot #4181

Merged
merged 1 commit into from
Aug 30, 2023
Merged

🔧 Add exempted labels for stale bot #4181

merged 1 commit into from
Aug 30, 2023

Conversation

dubzzz
Copy link
Owner

@dubzzz dubzzz commented Aug 30, 2023

No description provided.

@dubzzz dubzzz enabled auto-merge (squash) August 30, 2023 21:46
@codesandbox-ci
Copy link

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit 255f5c0:

Sandbox Source
Vanilla Configuration
@fast-check/examples Configuration

@codecov
Copy link

codecov bot commented Aug 30, 2023

Codecov Report

Merging #4181 (255f5c0) into main (2e5617f) will not change coverage.
Report is 6 commits behind head on main.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #4181   +/-   ##
=======================================
  Coverage   94.65%   94.65%           
=======================================
  Files         211      211           
  Lines        5917     5917           
  Branches     1358     1358           
=======================================
  Hits         5601     5601           
  Misses        300      300           
  Partials       16       16           
Flag Coverage Δ
unit-tests 94.65% <ø> (ø)
unit-tests-14.x-Linux 94.65% <ø> (ø)
unit-tests-18.x-Linux ?
unit-tests-latest-Linux 94.65% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

@dubzzz dubzzz merged commit 15629c7 into main Aug 30, 2023
58 checks passed
@dubzzz dubzzz deleted the dubzzz-patch-2 branch August 30, 2023 22:25
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.

1 participant