Skip to content

Actions: lifting-bits/patchestry

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,373 workflow runs
1,373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

analysis: integrate KLEE harness testing into patchir-klee-verifier with Lit and CI test CI #1044: Pull request #185 synchronize by kumarak
27m 17s kumarak/klee_tool_v1
kumarak/klee_tool_v1
27m 17s
PR #185 CodeQL #495: by kumarak
1m 51s refs/pull/185/head
refs/pull/185/head
1m 51s
analysis: integrate KLEE harness testing into patchir-klee-verifier with Lit and CI test CI #1043: Pull request #185 opened by kumarak
26m 10s kumarak/klee_tool_v1
kumarak/klee_tool_v1
26m 10s
PR #185 CodeQL #494: by kumarak
1m 50s refs/pull/185/head
refs/pull/185/head
1m 50s
Pre Release Pre Release #97: completed by kumarak
24m 52s
24m 52s
Build KLEE Image Build KLEE Image #2: Manually run by kumarak
15m 35s main
main
15m 35s
analysis: dockerized KLEE harness pipeline with CI integration (#183) CI #1042: Commit 4676d74 pushed by kumarak
23m 40s main
main
23m 40s
Push on main CodeQL #493: by github-advanced-security bot
3m 24s main
main
3m 24s
analysis: dockerized KLEE harness pipeline with CI integration CI #1041: Pull request #183 synchronize by kumarak
25m 55s kumarak/klee_tool
kumarak/klee_tool
25m 55s
PR #183 CodeQL #492: by kumarak
2m 54s refs/pull/183/head
refs/pull/183/head
2m 54s
analysis: dockerized KLEE harness pipeline with CI integration CI #1040: Pull request #183 synchronize by kumarak
23m 14s kumarak/klee_tool
kumarak/klee_tool
23m 14s
PR #183 CodeQL #491: by kumarak
2m 51s refs/pull/183/head
refs/pull/183/head
2m 51s
Copilot code review Copilot code review #18: by Copilot AI
3m 8s refs/pull/183/head
refs/pull/183/head
3m 8s
analysis: dockerized KLEE harness pipeline with CI integration CI #1039: Pull request #183 synchronize by kumarak
25m 11s kumarak/klee_tool
kumarak/klee_tool
25m 11s
PR #183 CodeQL #490: by kumarak
2m 54s refs/pull/183/head
refs/pull/183/head
2m 54s
analysis: dockerized KLEE harness pipeline with CI integration CI #1038: Pull request #183 synchronize by kumarak
25m 17s kumarak/klee_tool
kumarak/klee_tool
25m 17s
PR #183 CodeQL #489: by kumarak
2m 55s refs/pull/183/head
refs/pull/183/head
2m 55s
analysis: dockerized KLEE harness pipeline with CI integration CI #1037: Pull request #183 synchronize by kumarak
23m 41s kumarak/klee_tool
kumarak/klee_tool
23m 41s
PR #183 CodeQL #488: by kumarak
2m 58s refs/pull/183/head
refs/pull/183/head
2m 58s
Scheduled CodeQL #487: by github-advanced-security bot
3m 4s main
main
3m 4s
decomp: cfg build directly from the serialized JSON before emitting Clang AST CI #1036: Pull request #182 synchronize by artemdinaburg
27m 25s json_to_cfg
json_to_cfg
27m 25s
PR #182 CodeQL #486: by artemdinaburg
1m 54s refs/pull/182/head
refs/pull/182/head
1m 54s
analysis: dockerized KLEE harness pipeline with CI integration CI #1035: Pull request #183 synchronize by kumarak
26m 40s kumarak/klee_tool
kumarak/klee_tool
26m 40s
PR #183 CodeQL #485: by kumarak
1m 59s refs/pull/183/head
refs/pull/183/head
1m 59s
analysis: dockerized KLEE harness pipeline with CI integration Build KLEE Image #1: Pull request #183 opened by kumarak
15m 21s kumarak/klee_tool
kumarak/klee_tool
15m 21s