Skip to content

Actions: shavitush/bhoptimer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

This rankings query was doing the wrong thing in WHERE Compile #70: Commit 7fb0f45 pushed by rtldg
December 13, 2023 10:28 40s master
master
December 13, 2023 10:28 40s
Fix shavit-rankings obliterating points by using WHERE map=XX in the wrong place Compile #69: Pull request #1199 opened by rtldg
December 13, 2023 09:50 45s rtldg:42424242
rtldg:42424242
December 13, 2023 09:50 45s
increase menu-input blocker length Compile #68: Commit e8ff7fe pushed by rtldg
December 13, 2023 09:23 45s master
master
December 13, 2023 09:23 45s
update workflow sp dep versions Compile #67: Commit 91a2df6 pushed by rtldg
November 18, 2023 03:52 29s master
master
November 18, 2023 03:52 29s
disable sm1.12 workflow builds since it has bugs Compile #66: Commit d337145 pushed by rtldg
November 18, 2023 03:47 21s master
master
November 18, 2023 03:47 21s
small readme updates Compile #65: Commit ce9d1e4 pushed by rtldg
November 18, 2023 03:44 24s master
master
November 18, 2023 03:44 24s
Make sure CSS uses the more ladder checkpoint stuff Compile #64: Commit c2a9017 pushed by rtldg
November 18, 2023 02:59 22s master
master
November 18, 2023 02:59 22s
Merge pull request #1197 from lilac1337/patch-3 Compile #63: Commit c1c84e1 pushed by rtldg
November 12, 2023 08:36 22s master
master
November 12, 2023 08:36 22s
use correct gravity for LG Compile #62: Pull request #1197 opened by lilac1337
November 11, 2023 21:24 27s lilac1337:patch-3
lilac1337:patch-3
November 11, 2023 21:24 27s