Closed rpl-ffl closed 4 months ago
https://github.com/Fantom-foundation/Aida/security/code-scanning?query=is%3Aopen+pr%3A1112 The 2 warnings have now disappeared.
@wsodsong: int
-> uint64
is wrong since we want the entire pipeline to be int
. According changes incoming.
Incorrect conversion between integer types https://codeql.github.com/codeql-query-help/go/go-incorrect-integer-conversion/
Fixes https://github.com/Fantom-foundation/Aida/issues/1109
Type of change