ci: pin GitHub Actions to release commits - #666

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@a37ce9120846195fa4ece8f58b268e6043cb2f26, actions/setup-node@3235b876344d2a9aa001b8d1453c930bba69e610, codecov/codecov-action@b9fd7d16f6d7d1b5d2bec1a2887e65ceed900238. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Function name must be in mixedCase

Function name must be in mixedCase

Variable name must be in mixedCase

Variable name must be in mixedCase

Avoid to use low level calls

Avoid to use inline assembly. It is acceptable only in rare cases

Avoid to use inline assembly. It is acceptable only in rare cases

Avoid to use low level calls

Explicitly mark visibility of state