Skip to content

ci(codeql): cron weekly→monthly (cut 3, standards#288)#125

Merged
hyperpolymath merged 2 commits into
mainfrom
cicd/codeql-cron-monthly
Jul 1, 2026
Merged

ci(codeql): cron weekly→monthly (cut 3, standards#288)#125
hyperpolymath merged 2 commits into
mainfrom
cicd/codeql-cron-monthly

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Per standards#286 canonical (cut 3, Option B 2026-05-30): convert CodeQL scheduled run from weekly 0 6 * * 1 to monthly 0 6 1 * *. PR-trigger runs unchanged — every PR still gets CodeQL.

Refs hyperpolymath/standards#288 (campaign).

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

hyperpolymath and others added 2 commits June 2, 2026 19:28
Per `standards#286` canonical (cut 3, Option B 2026-05-30): convert
CodeQL scheduled run from weekly `0 6 * * 1` to monthly `0 6 1 * *`.
PR-trigger runs unchanged — every PR still gets CodeQL.

Refs `hyperpolymath/standards#288` (campaign).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath merged commit ee84b37 into main Jul 1, 2026
25 of 26 checks passed
@hyperpolymath
hyperpolymath deleted the cicd/codeql-cron-monthly branch July 1, 2026 22:46
@sonarqubecloud

sonarqubecloud Bot commented Jul 1, 2026

Copy link
Copy Markdown

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant