Skip to content

Actions: ajpal/poach

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Improve PTP_SerializedEgraph serialization efficiency CI #132: Pull request #70 synchronize by FTRobbin
31s haobin-serialize-prime
haobin-serialize-prime
31s
Improve PTP_SerializedEgraph serialization efficiency CI #131: Pull request #70 synchronize by FTRobbin
26s haobin-serialize-prime
haobin-serialize-prime
26s
Improve PTP_SerializedEgraph serialization efficiency CI #130: Pull request #70 opened by FTRobbin
29s haobin-serialize-prime
haobin-serialize-prime
29s
Refactor reporter CI #129: Pull request #68 synchronize by ajpal
1m 15s refactor-reporter-general
refactor-reporter-general
1m 15s
Refactor reporter CI #128: Pull request #69 synchronize by ajpal
57s refactor-reporter
refactor-reporter
57s
Refactor reporter CI #127: Pull request #69 opened by ajpal
1m 4s refactor-reporter
refactor-reporter
1m 4s
Refactor reporter CI #126: Pull request #68 opened by ajpal
59s refactor-reporter-general
refactor-reporter-general
59s
Merge pull request #62 from ajpal/ajpal-update-nightly CI #125: Commit 481af80 pushed by FTRobbin
1m 23s main
main
1m 23s
[Poach Algorithm] Vanilla Egglog CI #124: Pull request #67 opened by ajpal
1m 1s PTP_Vanilla
PTP_Vanilla
1m 1s
Merge main into PTP_SerializeEgraph CI #123: Pull request #66 opened by ajpal
1m 5s PTP_SerializeEgraph_merge_main
PTP_SerializeEgraph_merge_main
1m 5s
[Poach Algorithm] Term Cache CI #122: Pull request #61 synchronize by ajpal
1m 3s PTP_TermCache
PTP_TermCache
1m 3s
[Poach Algorithm] Term Cache CI #121: Pull request #61 synchronize by ajpal
1m 0s PTP_TermCache
PTP_TermCache
1m 0s
[Poach Algorithm] Term Cache CI #120: Pull request #61 synchronize by ajpal
1m 6s PTP_TermCache
PTP_TermCache
1m 6s
[Poach Algorithm] Term Cache CI #119: Pull request #61 synchronize by ajpal
1m 1s PTP_TermCache
PTP_TermCache
1m 1s
[Poach Algorithm] Term Cache CI #118: Pull request #61 synchronize by ajpal
1m 3s PTP_TermCache
PTP_TermCache
1m 3s
[Poach Algorithm] Term Cache CI #117: Pull request #61 synchronize by ajpal
1m 9s PTP_TermCache
PTP_TermCache
1m 9s
merge main into PTP_TermCache CI #116: Pull request #64 opened by ajpal
53s PTP_TermCache_merge_main
PTP_TermCache_merge_main
53s
Merge main into PTP_Vanilla CI #115: Pull request #63 opened by ajpal
59s PTP_Vanilla_merge_main
PTP_Vanilla_merge_main
59s
Runnable Nightly on main + Table Detail View CI #114: Pull request #62 opened by ajpal
1m 0s ajpal-update-nightly
ajpal-update-nightly
1m 0s
Merge pull request #60 from ajpal/haobin-update-main CI #113: Commit dfbd926 pushed by FTRobbin
1m 39s main
main
1m 39s
Keep main up-to-date with latest nightly improvements CI #112: Pull request #60 synchronize by FTRobbin
1m 3s haobin-update-main
haobin-update-main
1m 3s
[Poach Algorithm] Term Cache CI #111: Pull request #61 opened by ajpal
1m 3s PTP_TermCache
PTP_TermCache
1m 3s
Keep main up-to-date with latest nightly improvements CI #110: Pull request #60 synchronize by FTRobbin
1m 1s haobin-update-main
haobin-update-main
1m 1s
Keep main up-to-date with latest nightly improvements CI #109: Pull request #60 opened by FTRobbin
1m 3s haobin-update-main
haobin-update-main
1m 3s
refactor nightly CI #108: Pull request #57 synchronize by FTRobbin
1m 17s nightly-refactor
nightly-refactor
1m 17s