CodeQL Security Analysis

codeql.yml

1770 workflow runs

fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250)
completed successfully:
CodeQL Security Analysis#1145:Pull request#298openedbyhyperpolymath
fix/250-creusot-alt-ergo
Jul 1, 20262m 15s
fix(ci): hypatia-scan — drop timeout-minutes from reusable-call job (…
completed successfully:
CodeQL Security Analysis#1144:Commitfdbb007pushedbyhyperpolymath
main
Jul 1, 20262m 10s
fix(ci): hypatia-scan — drop timeout-minutes from reusable-call job (invalid workflow file)
completed successfully:
CodeQL Security Analysis#1143:Pull request#297openedbyhyperpolymath
fix/hypatia-scan-invalid-workflow
Jul 1, 20262m 48s
CodeQL Security Analysis
cancelled:
CodeQL Security Analysis#1142:byhyperpolymath
main
Jul 1, 20261m 47s
style: cargo fmt (toolchain drift after 2026-07-01 re-pin)
completed successfully:
CodeQL Security Analysis#1141:Pull request#296openedbyhyperpolymath
fix/cargo-fmt-drift
Jul 1, 20261m 40s
fix(deps): bump quinn-proto past RUSTSEC-2026-0185 (lockfile-only) (#…
cancelled:
CodeQL Security Analysis#1140:Commitae46e3bpushedbyhyperpolymath
main
Jul 1, 20261m 8s
fix(deps): bump quinn-proto past RUSTSEC-2026-0185 (lockfile-only)
completed successfully:
CodeQL Security Analysis#1139:Pull request#295openedbyhyperpolymath
fix/rustsec-2026-0185-quinn-proto
Jul 1, 20261m 22s
docs(reports): deposit 2026-06-06 hypatia alert-classification report…
completed successfully:
CodeQL Security Analysis#1138:Commit2690929pushedbyhyperpolymath
main
Jul 1, 20261m 50s
chore(echidnabot): add spark to secondary_languages (#294)
cancelled:
CodeQL Security Analysis#1137:Commitf0950depushedbyhyperpolymath
main
Jul 1, 202616s
chore(echidnabot): add spark to secondary_languages
completed successfully:
CodeQL Security Analysis#1136:Pull request#294openedbyhyperpolymath
chore/echidnabot-spark-secondary-language
Jul 1, 20261m 30s
docs(reports): deposit 2026-06-06 hypatia alert-classification report
completed successfully:
CodeQL Security Analysis#1135:Pull request#293openedbyhyperpolymath
docs/hypatia-alert-classification-2026-06-06
Jul 1, 20261m 31s
fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-inpu…
completed successfully:
CodeQL Security Analysis#1134:Commita9632cepushedbyhyperpolymath
main
Jul 1, 20262m 12s
fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-input fix
completed successfully:
CodeQL Security Analysis#1133:Pull request#292synchronizebyhyperpolymath
fix/repin-rust-ci-toolchain
Jul 1, 20261m 23s
chore(deps): bump the actions group with 5 updates (#290)
completed successfully:
CodeQL Security Analysis#1132:Commitd298981pushedbyhyperpolymath
main
Jul 1, 20262m 42s
chore(deps): bump the actions group with 5 updates
completed successfully:
CodeQL Security Analysis#1131:Pull request#290synchronizebyhyperpolymath
dependabot/github_actions/actions-16016706dd
Jul 1, 20263m 4s
chore(deps): bump rmcp from 1.7.0 to 2.0.0 (#289)
cancelled:
CodeQL Security Analysis#1130:Commitb0c201fpushedbyhyperpolymath
main
Jul 1, 202618s
chore(deps): bump the actions group with 5 updates
cancelled:
CodeQL Security Analysis#1129:Pull request#290synchronizebyhyperpolymath
dependabot/github_actions/actions-16016706dd
Jul 1, 202616s
chore(deps): bump rmcp from 1.7.0 to 2.0.0
completed successfully:
CodeQL Security Analysis#1128:Pull request#289synchronizebydependabot[bot]Bot
dependabot/cargo/rmcp-1.8.0
Jul 1, 20261m 8s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#1127:Scheduled
main
Jul 1, 20261m 9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#291)
completed successfully:
CodeQL Security Analysis#1126:Commitc1e9ab6pushedbyhyperpolymath
main
Jun 27, 202637m 17s
ci: refresh standards reusable pins to current HEAD (d7c2271)
completed successfully:
CodeQL Security Analysis#1125:Pull request#291openedbyhyperpolymath
ci/repin-standards-reusables-d7c2271
Jun 27, 202635m 4s
chore(deps): bump the actions group with 5 updates
completed successfully:
CodeQL Security Analysis#1124:Pull request#290openedbydependabot[bot]Bot
dependabot/github_actions/actions-16016706dd
Jun 26, 20261m 13s
chore(deps): bump rmcp from 1.7.0 to 2.0.0
completed successfully:
CodeQL Security Analysis#1123:Pull request#289openedbydependabot[bot]Bot
dependabot/cargo/rmcp-1.8.0
Jun 26, 20261m 4s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…
completed successfully:
CodeQL Security Analysis#1122:Commitc601d02pushedbyhyperpolymath
main
Jun 25, 202643m 20s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)
completed successfully:
CodeQL Security Analysis#1121:Pull request#288openedbyhyperpolymath
fix/readme-adoc-to-markdown
Jun 25, 202641m 42s

Navigation Menu

CodeQL Security Analysis

1770 workflow runs

fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250)

fix(ci): hypatia-scan — drop timeout-minutes from reusable-call job (…

fix(ci): hypatia-scan — drop timeout-minutes from reusable-call job (invalid workflow file)

CodeQL Security Analysis

style: cargo fmt (toolchain drift after 2026-07-01 re-pin)

fix(deps): bump quinn-proto past RUSTSEC-2026-0185 (lockfile-only) (#…

fix(deps): bump quinn-proto past RUSTSEC-2026-0185 (lockfile-only)

docs(reports): deposit 2026-06-06 hypatia alert-classification report…

chore(echidnabot): add spark to secondary_languages (#294)

chore(echidnabot): add spark to secondary_languages

docs(reports): deposit 2026-06-06 hypatia alert-classification report

fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-inpu…

fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-input fix

chore(deps): bump the actions group with 5 updates (#290)

chore(deps): bump the actions group with 5 updates

chore(deps): bump rmcp from 1.7.0 to 2.0.0 (#289)

chore(deps): bump the actions group with 5 updates

chore(deps): bump rmcp from 1.7.0 to 2.0.0

CodeQL Security Analysis

ci: refresh standards reusable pins to current HEAD (d7c2271) (#291)

ci: refresh standards reusable pins to current HEAD (d7c2271)

chore(deps): bump the actions group with 5 updates

chore(deps): bump rmcp from 1.7.0 to 2.0.0

docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1770 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.