[hyperpolymath]

Update Cliometrics/SMTLib compat to 0.2, update InvestigativeJournalism UUIDv8, declare JuliaPackageSpitter, raise CI timeout to 45, and fix codeql.yml linter headers. Closes #52, closes #53

[coderabbitai]

Caution

Review failed

The pull request is closed.

📝 Summary

Summary by CodeRabbit

• Chores
  • Automated test runs on pushes and pull requests have been removed.
  • Automated code security analysis has also been removed. These checks will no longer run as part of the repository’s workflows.

The PR removes the CI and CodeQL workflow configurations. It also changes a dependency UUID, adds a dependency, and updates compatibility constraints in Project.toml.

Changes: Workflow changes

Layer / File(s)	Summary
Workflow configuration removals .github/workflows/ci.yml, .github/workflows/codeql.yml	The CI workflow is deleted. The CodeQL workflow configuration is removed and the file now contains an SPDX licence identifier.

Dependency metadata

Layer / File(s)	Summary
Dependency declarations and compatibility Project.toml	The InvestigativeJournalism UUID changes, JuliaPackageSpitter is added, and the Cliometrics and SMTLib compatibility constraints change to "0.2". The JuliaPackageSpitter constraint is set to "0.1".

Priority: Not assessed

Estimated code review effort: 2 (Simple) | ~10 minutes

Change: Other

Merge Risk: Moderate · up to ae909

This change removes the CodeQL scan and the CI workflow instead of fixing them as the linked issues request. Dependency resolution can no longer be validated on a clean runner. Restore the workflows, including the registry setup, before merging.

- [ ] Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	🔄 Running since 2026-10-24T11:16:41.929505Z	ae909c1	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.