Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v2, actions/upload-artifact@v4, lukka/run-cmake@v2.5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

‘virtual void PetriEngine::PQL::ExpressionVisitor::_accept(const PetriEngine::PQL::CompareConjunction*)’ was hidden [-Woverloaded-virtual=]

‘virtual void PetriEngine::PQL::ExpressionVisitor::_accept(const PetriEngine::PQL::UnfoldedUpperBoundsCondition*)’ was hidden [-Woverloaded-virtual=]

comparison of integer expressions of different signedness: ‘PetriEngine::ExplicitColored::sMarkingCount_t’ {aka ‘int’} and ‘unsigned int’ [-Wsign-compare]

'__builtin_memset' writing between 256 and 17179869176 bytes into a region of size 248 overflows the destination [-Wstringop-overflow=]

'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]

'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]

'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]

'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]

'memset' specified bound between 18446744065119617024 and 18446744073709551612 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]