🔧 Update Devcontainer settings

[dubzzz]

Category:

• ✨ Introduce new features
• 📝 Add or update documentation
• ✅ Add or update tests
• 🐛 Fix a bug
• 🏷️ Add or update types
• ⚡️ Improve performance
• Other(s): ...

Potential impacts:

• Generated values
• Shrink values
• Performance
• Typings
• Other(s): ...

[codesandbox-ci]

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 aa0642f:

Sandbox	Source
Vanilla	Configuration
@fast-check/examples	Configuration

[codecov]

Codecov Report

Merging #4171 (aa0642f) into main (a9c25ac) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #4171   +/-   ##
=======================================
  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-16.x-Linux	94.65% <ø> (ø)
unit-tests-18.x-Linux	?
unit-tests-latest-Linux	?

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