Improve CI configuration #496
srbaAnnotations
12 warnings
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "verifypn-win64".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, lukka/[email protected], actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2, lukka/[email protected], actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_streett_like) ? pairs2.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
narrowing conversion of '((((spot::to_parity_generator*)this)->spot::to_parity_generator::opt_.spot::to_parity_options::iar && is_rabin_like) ? pairs1.std::vector<spot::acc_cond::rs_pair>::size() : 4294967295)' from 'long long unsigned int' to 'long unsigned int' [-Wnarrowing]
|
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build
'memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build:
src/PetriEngine/options.cpp#L296
format ‘%ld’ expects argument of type ‘long int*’, but argument 3 has type ‘int64_t*’ {aka ‘long long int*’} [-Wformat=]
|
|
build:
src/PetriEngine/options.cpp#L310
format ‘%ld’ expects argument of type ‘long int*’, but argument 3 has type ‘int64_t*’ {aka ‘long long int*’} [-Wformat=]
|
|
build:
include/LTL/SuccessorGeneration/SpoolingSuccessorGenerator.h#L47
‘*((void*)(&<anonymous>)+8).LTL::SpoolingSuccessorGenerator::successor_info_t::_transition’ may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
verifypn-win64
Expired
|
7.2 MB |
|