[release] 0.40.6

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.40.6 - 2023-07-03

[codecov-commenter]

Codecov Report

Merging #2627 (83e43f4) into main (960c1b6) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2627   +/-   ##
=======================================
  Coverage   78.48%   78.49%           
=======================================
  Files         445      445           
  Lines       15659    15659           
  Branches     2596     2596           
=======================================
+ Hits        12290    12291    +1     
+ Misses       3369     3368    -1     

see 3 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more