Skip to content

Actions: microsoft/regorus

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,127 workflow runs
1,127 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
Verify Number with Verus CodeQL Security Analysis #1151: Pull request #774 synchronize by jaylorch
13m 12s jaylorch:verify-number
jaylorch:verify-number
13m 12s
Verify Number with Verus CodeQL Security Analysis #1150: Pull request #774 synchronize by jaylorch
9m 30s jaylorch:verify-number
jaylorch:verify-number
9m 30s
Verify Number with Verus CodeQL Security Analysis #1149: Pull request #774 synchronize by jaylorch
13m 13s jaylorch:verify-number
jaylorch:verify-number
13m 13s
Verify Number with Verus CodeQL Security Analysis #1148: Pull request #774 synchronize by jaylorch
13m 24s jaylorch:verify-number
jaylorch:verify-number
13m 24s
Verify Number with Verus CodeQL Security Analysis #1147: Pull request #774 opened by jaylorch
19m 45s jaylorch:verify-number
jaylorch:verify-number
19m 45s
fix: Prevent panic by Number::modulo (#773) CodeQL Security Analysis #1146: Commit 839510d pushed by anakrish
13m 55s main
main
13m 55s
Prevent panic by Number::modulo CodeQL Security Analysis #1145: Pull request #773 synchronize by jaylorch
11m 37s jaylorch:modulo-panic
jaylorch:modulo-panic
11m 37s
fix: Handle i64::MIN / -1 special case CodeQL Security Analysis #1144: Commit e468255 pushed by anakrish
13m 54s main
main
13m 54s
Prevent panic by Number::modulo CodeQL Security Analysis #1143: Pull request #773 synchronize by jaylorch
12m 15s jaylorch:modulo-panic
jaylorch:modulo-panic
12m 15s
ci(deps): bump the github-actions group across 1 directory with 11 up… CodeQL Security Analysis #1142: Commit 6608a9f pushed by anakrish
13m 21s main
main
13m 21s
Prevent panic by Number::modulo CodeQL Security Analysis #1141: Pull request #773 opened by jaylorch
13m 23s jaylorch:modulo-panic
jaylorch:modulo-panic
13m 23s
Handle i64::MIN / -1 special case CodeQL Security Analysis #1140: Pull request #772 synchronize by jaylorch
13m 58s jaylorch:divide-min-case
jaylorch:divide-min-case
13m 58s
Handle i64::MIN / -1 special case CodeQL Security Analysis #1139: Pull request #772 opened by jaylorch
15m 9s jaylorch:divide-min-case
jaylorch:divide-min-case
15m 9s
ci(deps): bump the github-actions group across 1 directory with 11 updates CodeQL Security Analysis #1138: Pull request #763 synchronize by dependabot Bot
15m 7s dependabot/github_actions/github-actions-21988df234
dependabot/github_actions/github-actions-21988df234
15m 7s
build(deps): bump the per-dependency group across 1 directory with 2 … CodeQL Security Analysis #1137: Commit 5b6e657 pushed by anakrish
15m 37s main
main
15m 37s
build(deps): bump the rust-dependencies group across 6 directories wi… CodeQL Security Analysis #1136: Commit f00ec3a pushed by anakrish
15m 43s main
main
15m 43s
Handle i32::MIN in Number::two_pow and Number::ten_pow (#771) CodeQL Security Analysis #1135: Commit e8482f5 pushed by anakrish
15m 12s main
main
15m 12s
Handle i32::MIN in Number::two_pow and Number::ten_pow CodeQL Security Analysis #1134: Pull request #771 opened by jaylorch
15m 29s jaylorch:fix-two-pow-bug
jaylorch:fix-two-pow-bug
15m 29s
fix(interpreter,rvm): resolve function calls through import aliases (… CodeQL Security Analysis #1133: Commit 8b844e4 pushed by anakrish
11m 5s main
main
11m 5s
fix(interpreter,rvm): resolve function calls through import aliases CodeQL Security Analysis #1132: Pull request #769 synchronize by michaelstaib
13m 25s michaelstaib:fix/import-alias-function-calls
michaelstaib:fix/import-alias-function-calls
13m 25s
build(deps): bump the rust-dependencies group across 6 directories with 6 updates CodeQL Security Analysis #1130: Pull request #768 synchronize by github-actions Bot
15m 1s dependabot/cargo/rust-dependencies-0484aa294e
dependabot/cargo/rust-dependencies-0484aa294e
15m 1s
build(deps): bump the rust-dependencies group across 6 directories with 6 updates CodeQL Security Analysis #1129: Pull request #768 opened by dependabot Bot
13m 30s dependabot/cargo/rust-dependencies-0484aa294e
dependabot/cargo/rust-dependencies-0484aa294e
13m 30s
ci(deps): bump the github-actions group across 1 directory with 11 updates CodeQL Security Analysis #1128: Pull request #763 synchronize by dependabot Bot
13m 30s dependabot/github_actions/github-actions-21988df234
dependabot/github_actions/github-actions-21988df234
13m 30s
build(deps): bump the per-dependency group across 1 directory with 2 updates CodeQL Security Analysis #1127: Pull request #767 opened by dependabot Bot
13m 40s dependabot/bundler/bindings/ruby/per-dependency-1e3b1b0359
dependabot/bundler/bindings/ruby/per-dependency-1e3b1b0359
13m 40s
feat: Support Verus verification (#759) CodeQL Security Analysis #1126: Commit 4c183e9 pushed by anakrish
10m 54s main
main
10m 54s