Skip to content

Actions: vbpf/prevail

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
905 workflow runs
905 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
Remove thread_local_program_info; make Program self-contained CodeQL #3199: Pull request #1091 opened by elazarg
11m 44s explicit-context
explicit-context
11m 44s
Bump softprops/action-gh-release from 2 to 3 CodeQL #3198: Commit 3ae3084 pushed by elazarg
13m 21s main
main
13m 21s
Bump softprops/action-gh-release from 2 to 3 CodeQL #3197: Pull request #1090 opened by dependabot Bot
8m 45s dependabot/github_actions/softprops/action-gh-release-3
dependabot/github_actions/softprops/action-gh-release-3
8m 45s
Fix get_map_inner_map_fd comparing map type instead of inner_map_fd CodeQL #3196: Commit de39eb9 pushed by elazarg
13m 54s main
main
13m 54s
Pass explicit AnalysisContext; treat VariableRegistry as a global ser… CodeQL #3195: Commit 4fda96b pushed by elazarg
13m 4s main
main
13m 4s
Pass explicit AnalysisContext; treat VariableRegistry as a global service CodeQL #3194: Pull request #1088 synchronize by elazarg
11m 22s verification-context
verification-context
11m 22s
Extract compute_slice_from_label from compute_failure_slices (#1061) CodeQL #3193: Commit 4bcdae6 pushed by elazarg
12m 24s main
main
12m 24s
Pass explicit AnalysisContext; treat VariableRegistry as a global service CodeQL #3192: Pull request #1088 synchronize by elazarg
12m 17s verification-context
verification-context
12m 17s
Pass explicit AnalysisContext; treat VariableRegistry as a global service CodeQL #3191: Pull request #1088 opened by elazarg
12m 33s verification-context
verification-context
12m 33s
Mark inner map template descriptors in EbpfMapDescriptor CodeQL #3190: Pull request #1069 synchronize by saxena-anurag
13m 5s saxena-anurag:user/anusa/add_inner_map_template
saxena-anurag:user/anusa/add_inner_map_template
13m 5s
Mark inner map template descriptors in EbpfMapDescriptor CodeQL #3189: Pull request #1069 synchronize by saxena-anurag
12m 55s saxena-anurag:user/anusa/add_inner_map_template
saxena-anurag:user/anusa/add_inner_map_template
12m 55s
C++23: Replace variant<T, string> with expected CodeQL #3188: Pull request #1074 synchronize by elazarg
12m 27s expected
expected
12m 27s
C++23: Use std::unreachable() instead of assert(false) (#1075) CodeQL #3187: Commit ac03ef6 pushed by elazarg
12m 30s main
main
12m 30s
C++23: Use std::flat_map CodeQL #3186: Pull request #1076 opened by elazarg
3m 12s flat_map
flat_map
3m 12s
C++23: Use std::unreachable() instead of assert(false) CodeQL #3185: Pull request #1075 synchronize by elazarg
8m 48s unreachable
unreachable
8m 48s
C++23: Use std::unreachable() instead of assert(false) CodeQL #3184: Pull request #1075 opened by elazarg
9m 2s unreachable
unreachable
9m 2s
C++23: Replace variant<T, string> with expected CodeQL #3183: Pull request #1074 opened by elazarg
10m 41s expected
expected
10m 41s
Make max packet size a runtime parameter CodeQL #3182: Commit c0a0360 pushed by elazarg
12m 49s main
main
12m 49s
Bump version to 0.2.2 CodeQL #3181: Commit 24f3c35 pushed by elazarg
12m 33s main
main
12m 33s
Make max packet size a runtime parameter CodeQL #3180: Pull request #1073 opened by elazarg
11m 51s dynamic-packet
dynamic-packet
11m 51s
Fix spurious widening precision loss in EbpfDomain (#1071) CodeQL #3179: Pull request #1072 synchronize by elazarg
7m 44s fix/1071-widen-bottom-short-circuit
fix/1071-widen-bottom-short-circuit
7m 44s
Fix spurious widening precision loss in EbpfDomain (#1071) CodeQL #3178: Pull request #1072 opened by elazarg
8m 58s fix/1071-widen-bottom-short-circuit
fix/1071-widen-bottom-short-circuit
8m 58s
Mark inner map template descriptors in EbpfMapDescriptor CodeQL #3177: Pull request #1069 synchronize by saxena-anurag
12m 24s saxena-anurag:user/anusa/add_inner_map_template
saxena-anurag:user/anusa/add_inner_map_template
12m 24s
Bump version to 0.2.1 and update CHANGELOG CodeQL #3176: Commit 472a486 pushed by elazarg
13m 21s main
main
13m 21s
make stack size and call depth runtime parameters (#1070) CodeQL #3175: Commit 5693bbe pushed by elazarg
12m 57s main
main
12m 57s