Skip to content

Actions: charleskawczynski/TexasHoldem.jl

ci

Actions

Loading...
Loading

Showing runs from all workflows named ci
359 workflow run results
359 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge #126
ci #332: Commit 0f74c4d pushed by bors bot
July 16, 2023 22:27 14m 59s main
July 16, 2023 22:27 14m 59s
Merge #126
ci #331: Commit 0f74c4d pushed by bors bot
July 16, 2023 22:12 15m 31s staging
July 16, 2023 22:12 15m 31s
Refactor
ci #330: Pull request #126 opened by charleskawczynski
July 16, 2023 22:06 13m 21s ck/refactor2
July 16, 2023 22:06 13m 21s
Merge #124
ci #329: Commit e601cfe pushed by bors bot
July 16, 2023 03:51 8m 49s main
July 16, 2023 03:51 8m 49s
Merge #124
ci #328: Commit e601cfe pushed by bors bot
July 16, 2023 03:42 8m 18s staging
July 16, 2023 03:42 8m 18s
Define and use Players
ci #327: Pull request #124 synchronize by charleskawczynski
July 16, 2023 03:23 9m 26s ck/Players
July 16, 2023 03:23 9m 26s
Define and use Players
ci #326: Pull request #124 synchronize by charleskawczynski
July 16, 2023 03:12 10m 54s ck/Players
July 16, 2023 03:12 10m 54s
Define and use Players
ci #325: Pull request #124 opened by charleskawczynski
July 16, 2023 01:45 12m 29s ck/Players
July 16, 2023 01:45 12m 29s
Merge #120
ci #324: Commit 169690a pushed by bors bot
July 15, 2023 18:35 11m 32s main
July 15, 2023 18:35 11m 32s
Merge #120
ci #323: Commit 169690a pushed by bors bot
July 15, 2023 18:24 11m 18s staging
July 15, 2023 18:24 11m 18s
Use more concrete types
ci #322: Pull request #120 opened by charleskawczynski
July 15, 2023 18:23 9m 2s ck/jet2
July 15, 2023 18:23 9m 2s
Merge #118
ci #321: Commit a341fd4 pushed by bors bot
July 15, 2023 16:28 8m 23s staging
July 15, 2023 16:28 8m 23s
Fix some jet failures
ci #320: Pull request #118 opened by charleskawczynski
July 15, 2023 16:28 6m 27s ck/jet
July 15, 2023 16:28 6m 27s
Merge #113
ci #319: Commit cbdb0b9 pushed by bors bot
July 9, 2023 22:38 12m 15s main
July 9, 2023 22:38 12m 15s
Merge #113
ci #318: Commit cbdb0b9 pushed by bors bot
July 9, 2023 22:27 10m 49s staging
July 9, 2023 22:27 10m 49s
Add inferable logger path
ci #317: Pull request #113 opened by charleskawczynski
July 9, 2023 22:26 13m 32s ck/inference
July 9, 2023 22:26 13m 32s
Merge #112
ci #316: Commit c7ab58d pushed by bors bot
July 3, 2023 17:26 11m 51s main
July 3, 2023 17:26 11m 51s
Merge #112
ci #315: Commit c7ab58d pushed by bors bot
July 3, 2023 17:09 17m 13s staging
July 3, 2023 17:09 17m 13s
Stricter Player types
ci #314: Pull request #112 synchronize by charleskawczynski
July 3, 2023 17:08 13m 37s ck/perf
July 3, 2023 17:08 13m 37s
Stricter Player types
ci #313: Pull request #112 opened by charleskawczynski
July 3, 2023 15:42 9m 17s ck/perf
July 3, 2023 15:42 9m 17s
Merge #111
ci #312: Commit 84aa948 pushed by bors bot
July 2, 2023 23:16 9m 7s main
July 2, 2023 23:16 9m 7s
Merge #111
ci #311: Commit 84aa948 pushed by bors bot
July 2, 2023 23:06 10m 15s staging
July 2, 2023 23:06 10m 15s
Merge #111
ci #310: Commit ed6c8d7 pushed by bors bot
July 2, 2023 22:38 11m 2s staging
July 2, 2023 22:38 11m 2s
Update perf scripts, add jet script
ci #309: Pull request #111 opened by charleskawczynski
July 2, 2023 22:37 10m 56s ck/perf
July 2, 2023 22:37 10m 56s
Merge #110
ci #308: Commit 8ae7bf6 pushed by bors bot
July 2, 2023 19:05 12m 5s main
July 2, 2023 19:05 12m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-07-02 or the other filters available.