Skip to content

Test/ci echidna hypatia fix - #338

Open
hyperpolymath wants to merge 3 commits into
mainfrom
test/ci-echidna-hypatia-fix
Open

Test/ci echidna hypatia fix#338
hyperpolymath wants to merge 3 commits into
mainfrom
test/ci-echidna-hypatia-fix

Conversation

@hyperpolymath

@hyperpolymath hyperpolymath commented Jul 29, 2026

Copy link
Copy Markdown
Owner

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers


Summary by Gitar

  • CI / Tooling:
    • Updated Hypatia workflow SHA and added timeout-minutes in .github/workflows/hypatia-scan.yml
    • Added CodeQL analysis timeout in .github/workflows/codeql.yml and added TEST_CI_ECHIDNA.md

This will update automatically on new commits.

hyperpolymath and others added 3 commits June 4, 2026 10:35
corpus_loader.jl (landed in #198 saturation+typing) does `using JSON`
+ `JSON.parse(raw)`, but Project.toml had only JSON3. Result: every
train-from-corpus invocation fails with `Package JSON not found`.

Add JSON to deps (vs rewriting JSON.parse → JSON3.read; JSON3 returns
lazy structures and the call-site logic expects JSON.jl semantics).

Discovered when launching the first owner-authorised GNN training
run 2026-06-02 (stages 3+4 failed cleanly).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
- Update hypatia-scan-reusable SHA to 6cd3772824e59c8c9affeab66061e25383544242
- Increase CodeQL timeout from 15 to 60 minutes

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Triggers CI to verify:
- CodeQL timeout increased to 60 minutes
- Hypatia SHA updated to 6cd3772824e59c8c9affeab66061e25383544242

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
@gitar-bot

gitar-bot Bot commented Jul 29, 2026

Copy link
Copy Markdown

Note

Automatic reviews are paused because your trial's included automatic processing has been used for this period. Upgrade now, or comment "Gitar review" to run a review anytime.
Learn more

Code Review ✅ Approved

Updates the Hypatia workflow SHA, adds CodeQL timeouts, and includes the missing JSON dependency in corpus_loader.jl. No issues found.

Auto-approved and auto-merge armed: No blocking issues found.
Please see Auto-approve Docs for details on setting custom approval criteria. — merges when pipeline and required approvals pass.

Options

Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Compact
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Gitar

@gitar-bot
gitar-bot Bot enabled auto-merge (squash) July 29, 2026 21:59

@gitar-bot gitar-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@gitar-bot gitar-bot Bot added the gitar-approved Added by Gitar label Jul 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gitar-approved Added by Gitar

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant