Actions
Feature #1120
openContinent_id num_continents/num_oceans in civ_map
Start date:
11/15/2024
Due date:
% Done:
0%
Estimated time:
Description
CodeQL complains about comparisons with wide num_continents and narrow values of actual continent ids. Make also num_continents / num_oceans (narrow) Continent_id. Those numbers need to fit in Continent_id - if not, then the type has to be updated.
Files
Actions