Skip to content

Actions: microsoft/z3guide

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR #210 CodeQL #25: by NikolajBjorner
2m 16s refs/pull/210/head
refs/pull/210/head
2m 16s
PR #214 CodeQL #24: by NikolajBjorner
2m 12s refs/pull/214/head
refs/pull/214/head
2m 12s
PR #213 CodeQL #23: by NikolajBjorner
2m 23s refs/pull/213/head
refs/pull/213/head
2m 23s
CodeQL CodeQL #22: by github-advanced-security bot
3h 23m 29s main
main
3h 23m 29s
Push on main CodeQL #21: by NikolajBjorner
3h 35m 5s main
main
3h 35m 5s
Scheduled CodeQL #20: by github-advanced-security bot
3h 28m 5s main
main
3h 28m 5s
Push on main CodeQL #19: by github-advanced-security bot
3h 23m 8s main
main
3h 23m 8s
PR #212 CodeQL #18: by NikolajBjorner
2m 56s refs/pull/212/head
refs/pull/212/head
2m 56s
Scheduled CodeQL #17: by github-advanced-security bot
3h 25m 44s main
main
3h 25m 44s
Scheduled CodeQL #16: by github-advanced-security bot
3h 24m 50s main
main
3h 24m 50s
PR #210 CodeQL #15: by NikolajBjorner
2m 16s refs/pull/210/head
refs/pull/210/head
2m 16s
Scheduled CodeQL #14: by github-advanced-security bot
3h 23m 1s main
main
3h 23m 1s
PR #208 CodeQL #13: by Copilot AI
2m 10s refs/pull/208/head
refs/pull/208/head
2m 10s
PR #208 CodeQL #12: by Copilot AI
2m 18s refs/pull/208/head
refs/pull/208/head
2m 18s
Scheduled CodeQL #11: by github-advanced-security bot
3h 23m 28s main
main
3h 23m 28s
PR #201 CodeQL #10: by NikolajBjorner
3h 26m 59s refs/pull/201/head
refs/pull/201/head
3h 26m 59s
PR #201 CodeQL #9: by NikolajBjorner
3h 37m 14s refs/pull/201/head
refs/pull/201/head
3h 37m 14s
Push on main CodeQL #8: by NikolajBjorner
3h 25m 58s main
main
3h 25m 58s
Push on main CodeQL #7: by NikolajBjorner
3h 39m 20s main
main
3h 39m 20s
PR #205 CodeQL #6: by NikolajBjorner
2m 27s refs/pull/205/head
refs/pull/205/head
2m 27s
PR #205 CodeQL #5: by github-actions bot
2m 18s refs/pull/205/head
refs/pull/205/head
2m 18s
PR #205 CodeQL #4: by NikolajBjorner
2m 18s refs/pull/205/head
refs/pull/205/head
2m 18s
Push on main CodeQL #3: by github-advanced-security bot
3h 41m 42s main
main
3h 41m 42s
Scheduled CodeQL #2: by github-advanced-security bot
3h 29m 20s main
main
3h 29m 20s
CodeQL Setup CodeQL #1: by msftgits
3h 26m 9s main
main
3h 26m 9s