Skip to content

Actions: microsoft/regorus

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,286 workflow runs
1,286 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
feat: support effective package override during policy loading CodeQL Security Analysis #1345: Pull request #821 synchronize by maksym-mishchenko
14m 55s maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
14m 55s
Add source-aware policy params declaration detection CodeQL Security Analysis #1344: Pull request #826 synchronize by maksym-mishchenko
14m 23s maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
14m 23s
Add source-aware policy params declaration detection CodeQL Security Analysis #1343: Pull request #826 opened by maksym-mishchenko
12m 29s maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
maksym-mishchenko:maksym-mishchenko-wi-3749964-api-delivery
12m 29s
fix(rego): schedule comprehensions in rule outputs CodeQL Security Analysis #1342: Pull request #825 synchronize by maksym-mishchenko
15m 28s maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
15m 28s
fix(rego): schedule comprehensions in rule outputs CodeQL Security Analysis #1341: Pull request #825 synchronize by maksym-mishchenko
11m 44s maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
11m 44s
fix(rego): schedule comprehensions in rule outputs CodeQL Security Analysis #1340: Pull request #825 opened by maksym-mishchenko
12m 32s maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
maksym-mishchenko:maksym-mishchenko-rego-inline-comprehension
12m 32s
fix: disambiguate prior rule file labels in conflicts CodeQL Security Analysis #1339: Pull request #824 opened by maksym-mishchenko
14m 8s maksym-mishchenko:maksym-mishchenko-conflict-label-follow-up
maksym-mishchenko:maksym-mishchenko-conflict-label-follow-up
14m 8s
build(deps): bump the rust-dependencies group across 5 directories with 6 updates CodeQL Security Analysis #1338: Pull request #823 synchronize by Copilot AI
14m 19s dependabot/cargo/rust-dependencies-1ce2f3a7d4
dependabot/cargo/rust-dependencies-1ce2f3a7d4
14m 19s
build(deps): bump the rust-dependencies group across 5 directories with 6 updates CodeQL Security Analysis #1337: Pull request #823 synchronize by Copilot AI
10m 4s dependabot/cargo/rust-dependencies-1ce2f3a7d4
dependabot/cargo/rust-dependencies-1ce2f3a7d4
10m 4s
ci(deps): bump the github-actions group with 3 updates (#822) CodeQL Security Analysis #1336: Commit 0b6bd69 pushed by anakrish
10m 41s main
main
10m 41s
build(deps): bump the rust-dependencies group across 5 directories with 6 updates CodeQL Security Analysis #1335: Pull request #823 synchronize by github-actions Bot
6m 26s dependabot/cargo/rust-dependencies-1ce2f3a7d4
dependabot/cargo/rust-dependencies-1ce2f3a7d4
6m 26s
build(deps): bump the rust-dependencies group across 5 directories with 6 updates CodeQL Security Analysis #1334: Pull request #823 opened by dependabot Bot
6m 22s dependabot/cargo/rust-dependencies-1ce2f3a7d4
dependabot/cargo/rust-dependencies-1ce2f3a7d4
6m 22s
ci(deps): bump the github-actions group with 3 updates CodeQL Security Analysis #1333: Pull request #822 opened by dependabot Bot
14m 4s dependabot/github_actions/github-actions-6587ba808b
dependabot/github_actions/github-actions-6587ba808b
14m 4s
fix: keep prior rule locations in concise conflict diagnostics (#820) CodeQL Security Analysis #1332: Commit edbaa0b pushed by anakrish
13m 52s main
main
13m 52s
fix: keep prior rule locations in concise conflict diagnostics CodeQL Security Analysis #1331: Pull request #820 synchronize by maksym-mishchenko
10m 51s maksym-mishchenko:maksym-mishchenko-regorus-conflict-diagnostics
maksym-mishchenko:maksym-mishchenko-regorus-conflict-diagnostics
10m 51s
feat: support effective package override during policy loading CodeQL Security Analysis #1330: Pull request #821 synchronize by maksym-mishchenko
14m 7s maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
14m 7s
feat: support effective package override during policy loading CodeQL Security Analysis #1329: Pull request #821 opened by maksym-mishchenko
14m 27s maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
maksym-mishchenko:maksym-mishchenko-rvm-package-override-feasibility
14m 27s
fix: keep prior rule locations in concise conflict diagnostics CodeQL Security Analysis #1328: Pull request #820 opened by maksym-mishchenko
14m 48s maksym-mishchenko:maksym-mishchenko-regorus-conflict-diagnostics
maksym-mishchenko:maksym-mishchenko-regorus-conflict-diagnostics
14m 48s
CodeQL Security Analysis CodeQL Security Analysis #1327: Scheduled
15m 32s main
main
15m 32s
Add Lean 4 formalization of Value lattice and RVM core semantics CodeQL Security Analysis #1326: Pull request #819 synchronize by anakrish
11m 33s anakrish:formal-lean
anakrish:formal-lean
11m 33s
Add Lean 4 formalization of Value lattice and RVM core semantics CodeQL Security Analysis #1325: Pull request #819 synchronize by anakrish
14m 18s anakrish:formal-lean
anakrish:formal-lean
14m 18s
Add Lean 4 formalization of Value lattice and RVM core semantics CodeQL Security Analysis #1324: Pull request #819 opened by anakrish
14m 50s anakrish:formal-lean
anakrish:formal-lean
14m 50s
build(deps): bump rubocop in /bindings/ruby in the per-dependency gro… CodeQL Security Analysis #1323: Commit 3332db4 pushed by anakrish
12m 0s main
main
12m 0s
build(deps): bump org.codehaus.mojo:exec-maven-plugin (#815) CodeQL Security Analysis #1322: Commit ba7eee3 pushed by anakrish
14m 21s main
main
14m 21s
ci(deps): bump the github-actions group with 5 updates (#818) CodeQL Security Analysis #1321: Commit 8bae6ab pushed by anakrish
15m 20s main
main
15m 20s