[release] 0.40.5

[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.5 - 2023-06-30

Bug fixes

• Increase max inbound gRPC message size, see Increase max inbound gRPC message size #2623
• Fix Quint translation of Nat and Int, see Fix Quint translation of Nat and Int #2621

[codecov-commenter]

Codecov Report

Merging #2624 (14895d9) into main (f9c6084) will decrease coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2624      +/-   ##
==========================================
- Coverage   78.49%   78.48%   -0.02%     
==========================================
  Files         445      445              
  Lines       15659    15659              
  Branches     2567     2596      +29     
==========================================
- Hits        12292    12290       -2     
- Misses       3367     3369       +2     

see 2 files with indirect coverage changes

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