Skip to content
This repository was archived by the owner on Aug 12, 2026. It is now read-only.

feat(reproducibility): add initial-state loading and checkpoint resume #235

feat(reproducibility): add initial-state loading and checkpoint resume

feat(reproducibility): add initial-state loading and checkpoint resume #235

Triggered via pull request August 11, 2026 08:55
Status Success
Total duration 7m 46s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::transition_count' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::transition_trace' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::max_threads' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::completed_passes' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::checkpoint_interval' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::configured_attempts' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::configured_passes' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::lambda' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::k' [-Wmissing-field-initializers]
Analyze (c-cpp): include/Utilities.hpp#L2257
missing initializer for member 'cdt::utilities::Reproducibility_metadata::alpha' [-Wmissing-field-initializers]
Analyze (c-cpp)
Cannot build an overlay database because build-mode is set to "manual" instead of "none". Falling back to creating a normal full database instead.
Analyze (c-cpp)
install-action: just is supported but version 1.58.0 for 'x86_64_linux' is not supported (updating install-action might resolve this); fallback to cargo-binstall