Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump rand from 0.9.4 to 0.10.1 (#121) CodeQL Security Analysis #772: Commit beb8052 pushed by hyperpolymath
1m 41s main
main
1m 41s
chore(deps): bump rand from 0.9.4 to 0.10.1 CodeQL Security Analysis #771: Pull request #121 synchronize by hyperpolymath
2m 20s dependabot/cargo/rand-0.10.1
dependabot/cargo/rand-0.10.1
2m 20s
chore(deps): bump criterion from 0.5.1 to 0.8.2 CodeQL Security Analysis #770: Pull request #122 synchronize by hyperpolymath
1m 43s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
1m 43s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 CodeQL Security Analysis #769: Pull request #124 synchronize by hyperpolymath
1m 22s dependabot/cargo/rustyline-18.0.0
dependabot/cargo/rustyline-18.0.0
1m 22s
chore(deps): bump nom from 7.1.3 to 8.0.0 CodeQL Security Analysis #768: Pull request #123 synchronize by hyperpolymath
1m 39s dependabot/cargo/nom-8.0.0
dependabot/cargo/nom-8.0.0
1m 39s
chore(deps): bump nom from 7.1.3 to 8.0.0 CodeQL Security Analysis #767: Pull request #123 synchronize by dependabot Bot
30s dependabot/cargo/nom-8.0.0
dependabot/cargo/nom-8.0.0
30s
chore(deps): bump rand from 0.9.4 to 0.10.1 CodeQL Security Analysis #766: Pull request #121 synchronize by dependabot Bot
1m 18s dependabot/cargo/rand-0.10.1
dependabot/cargo/rand-0.10.1
1m 18s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 CodeQL Security Analysis #765: Pull request #124 synchronize by dependabot Bot
34s dependabot/cargo/rustyline-18.0.0
dependabot/cargo/rustyline-18.0.0
34s
chore(deps): bump criterion from 0.5.1 to 0.8.2 CodeQL Security Analysis #764: Pull request #122 synchronize by dependabot Bot
1m 5s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
1m 5s
chore(deps): bump the actions group with 2 updates (#125) CodeQL Security Analysis #763: Commit 56a8275 pushed by hyperpolymath
2m 16s main
main
2m 16s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #762: Pull request #125 synchronize by hyperpolymath
1m 42s dependabot/github_actions/actions-1f643bbc31
dependabot/github_actions/actions-1f643bbc31
1m 42s
chore(deps): bump axum from 0.7.9 to 0.8.9 (#120) CodeQL Security Analysis #761: Commit b63b5ab pushed by hyperpolymath
1m 34s main
main
1m 34s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #760: Pull request #125 opened by dependabot Bot
1m 39s dependabot/github_actions/actions-1f643bbc31
dependabot/github_actions/actions-1f643bbc31
1m 39s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 CodeQL Security Analysis #759: Pull request #124 opened by dependabot Bot
4m 34s dependabot/cargo/rustyline-18.0.0
dependabot/cargo/rustyline-18.0.0
4m 34s
chore(deps): bump nom from 7.1.3 to 8.0.0 CodeQL Security Analysis #758: Pull request #123 opened by dependabot Bot
2m 49s dependabot/cargo/nom-8.0.0
dependabot/cargo/nom-8.0.0
2m 49s
chore(deps): bump criterion from 0.5.1 to 0.8.2 CodeQL Security Analysis #757: Pull request #122 opened by dependabot Bot
2m 10s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
2m 10s
chore(deps): bump rand from 0.9.4 to 0.10.1 CodeQL Security Analysis #756: Pull request #121 opened by dependabot Bot
2m 24s dependabot/cargo/rand-0.10.1
dependabot/cargo/rand-0.10.1
2m 24s
chore(deps): bump axum from 0.7.9 to 0.8.9 CodeQL Security Analysis #755: Pull request #120 opened by dependabot Bot
1m 15s dependabot/cargo/axum-0.8.9
dependabot/cargo/axum-0.8.9
1m 15s
chore(v→zig): delete legacy V-lang API shim (#119) CodeQL Security Analysis #754: Commit 01c9a38 pushed by hyperpolymath
2m 53s main
main
2m 53s
chore(v→zig): delete legacy V-lang API shim CodeQL Security Analysis #753: Pull request #119 opened by hyperpolymath
2m 45s chore/vlang-remediation
chore/vlang-remediation
2m 45s
ci(live-provers): drop continue-on-error on Tier-2/3 live-test steps … CodeQL Security Analysis #752: Commit 299344a pushed by hyperpolymath
1m 12s main
main
1m 12s
ci(live-provers): drop continue-on-error on Tier-2/3 live-test steps CodeQL Security Analysis #751: Pull request #118 opened by hyperpolymath
1m 27s ci/drop-soft-fail-on-live-prover-tests
ci/drop-soft-fail-on-live-prover-tests
1m 27s
Claude/amazing cori kw a2 v (#103) CodeQL Security Analysis #750: Commit 0aaf866 pushed by hyperpolymath
8h 22m 20s main
main
8h 22m 20s
chore(license): migrate to AGPL-3.0-or-later (#112) CodeQL Security Analysis #749: Commit 779450d pushed by hyperpolymath
8s main
main
8s
chore(ci): replace scorecard.yml with reusable wrapper (#115) CodeQL Security Analysis #748: Commit 1df06c1 pushed by hyperpolymath
13m 28s main
main
13m 28s
ProTip! You can narrow down the results and go further in time using created:<2026-05-27 or the other filters available.