The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

variable "bin" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "iv" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "bin" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "iv" is unused (if the variable is not meant to be used, prefix it with an underscore)

this clause for check_BrainPoolP512t1_GCM256/0 cannot match because a previous clause at line 117 always matches

variable "pki" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "x" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "y" is unused (if the variable is not meant to be used, prefix it with an underscore)

variable "x" is unused (if the variable is not meant to be used, prefix it with an underscore)