Skip to content

Actions: ExtensityAI/symbolicai

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
249 workflow runs
249 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
Push on dev CodeQL #24: by leoveanv
1m 9s dev
dev
1m 9s
Code Quality: Push on main CodeQL #23: by leoveanv
1m 24s main
main
1m 24s
Push on main CodeQL #22: by leoveanv
1m 30s main
main
1m 30s
Push on dev CodeQL #21: by leoveanv
1m 23s dev
dev
1m 23s
Push on main CodeQL #20: by leoveanv
1m 34s main
main
1m 34s
Code Quality: Push on main CodeQL #19: by leoveanv
1m 17s main
main
1m 17s
PR #105 CodeQL #18: by leoveanv
1m 3s refs/pull/105/head
refs/pull/105/head
1m 3s
Code Quality: PR #105 CodeQL #17: by leoveanv
1m 20s refs/pull/105/head
refs/pull/105/head
1m 20s
Push on dev CodeQL #16: by leoveanv
1m 14s dev
dev
1m 14s
PR #105 CodeQL #15: by leoveanv
1m 3s refs/pull/105/head
refs/pull/105/head
1m 3s
Code Quality: PR #105 CodeQL #14: by leoveanv
1m 20s refs/pull/105/head
refs/pull/105/head
1m 20s
Push on dev CodeQL #13: by leoveanv
1m 16s dev
dev
1m 16s
PR #105 CodeQL #12: by leoveanv
1m 10s refs/pull/105/head
refs/pull/105/head
1m 10s
Code Quality: PR #105 CodeQL #11: by leoveanv
1m 20s refs/pull/105/head
refs/pull/105/head
1m 20s
Push on dev CodeQL #10: by leoveanv
1m 17s dev
dev
1m 17s
Push on dev CodeQL #9: by leoveanv
1m 14s dev
dev
1m 14s
Push on main CodeQL #8: by leoveanv
1m 26s main
main
1m 26s
Code Quality: Push on main CodeQL #7: by leoveanv
1m 14s main
main
1m 14s
Push on dev CodeQL #6: by leoveanv
1m 16s dev
dev
1m 16s
Push on dev CodeQL #5: by leoveanv
1m 20s dev
dev
1m 20s
Code Quality: Push on main CodeQL #4: by leoveanv
1m 20s main
main
1m 20s
Push on main CodeQL #3: by leoveanv
1m 34s main
main
1m 34s
Code Quality: CodeQL Setup CodeQL #2: by leoveanv
1m 23s main
main
1m 23s
CodeQL Setup CodeQL #1: by leoveanv
1m 26s main
main
1m 26s
ProTip! You can narrow down the results and go further in time using created:<2026-03-31 or the other filters available.