Skip to content

Test/ci codeql hypatia - #667

Merged
hyperpolymath merged 7 commits into
mainfrom
test/ci-codeql-hypatia
Aug 2, 2026
Merged

Test/ci codeql hypatia#667
hyperpolymath merged 7 commits into
mainfrom
test/ci-codeql-hypatia

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 / Build updates:
    • Added timeout-minutes to all workflow jobs across CI configurations
    • Updated Hypatia SHA references and verified CodeQL timeouts
  • Refactoring & renames:
    • Renamed agent_instructions directory to bot_directives and k9 directories to self-validating
    • Changed project LICENSE from AGPL-3.0-or-later to MPL-2.0

This will update automatically on new commits.

hyperpolymath and others added 6 commits June 4, 2026 14:59
…patia SHA + fix CodeQL timeout

Includes CodeQL timeout increase from 15 to 60 minutes.

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
TEST COMMIT - The hypatia repo itself had:
- codeql.yml with 15 min timeout (now 60)
- hypatia-scan.yml with old SHA (now 6cd37728)

Verify both fixes work in the source repo.

Expected: All green checks.
Delete this commit after CI passes.

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Per estate policy in standards/LICENCE-POLICY.adoc, all repos except
palimpsest-license, palimpsest-plasma, and consent-aware-http should use
MPL-2.0. hypatia is not in that list.

Also updated .machine_readable/6a2/META.a2ml SPDX and license field to match.

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 CI workflow jobs with explicit timeout configurations, updates Hypatia SHA references, and renames directories and the project license to MPL-2.0. 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 commented Jul 29, 2026

Copy link
Copy Markdown

⚠️ Gitar auto-approved this PR but could not enable auto-merge: auto-merge is disabled for this repository — enable "Allow auto-merge" in the repository settings.

gitar-bot[bot]
gitar-bot Bot previously approved these changes Jul 29, 2026

@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
@hyperpolymath
hyperpolymath enabled auto-merge (squash) July 31, 2026 07:36
@hyperpolymath
hyperpolymath merged commit 5f5ff53 into main Aug 2, 2026
1 check passed
@hyperpolymath
hyperpolymath deleted the test/ci-codeql-hypatia branch August 2, 2026 11:43
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