Skip to content

Actions: wavewave/hoodle

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
disable -Werror for now due to partial functions like head, tail. (#155) Build #172: Commit ea56cbe pushed by wavewave
June 26, 2023 09:10 1h 14m 1s master
master
June 26, 2023 09:10 1h 14m 1s
disable -Werror for now due to partial functions like head, tail. Build #171: Pull request #155 opened by wavewave
June 25, 2023 06:28 1h 9m 24s fix-build-error-due-to-partial-functions
fix-build-error-due-to-partial-functions
June 25, 2023 06:28 1h 9m 24s
disable -Werror for now due to partial functions like head, tail. Build #170: Commit 8844ef7 pushed by wavewave
June 25, 2023 06:28 1h 29m 52s fix-build-error-due-to-partial-functions
fix-build-error-due-to-partial-functions
June 25, 2023 06:28 1h 29m 52s
Start a grid cache experiment (#154) Build #169: Commit 3008650 pushed by wavewave
June 25, 2023 06:14 1h 24m 33s master
master
June 25, 2023 06:14 1h 24m 33s
Start a grid cache experiment Build #168: Pull request #154 synchronize by wavewave
June 25, 2023 06:12 1h 7m 35s cache-grid
cache-grid
June 25, 2023 06:12 1h 7m 35s
format Build #167: Commit 75a66a4 pushed by wavewave
June 25, 2023 06:12 1h 7m 22s cache-grid
cache-grid
June 25, 2023 06:12 1h 7m 22s
Start a grid cache experiment Build #166: Pull request #154 opened by wavewave
June 25, 2023 06:06 1h 23m 16s cache-grid
cache-grid
June 25, 2023 06:06 1h 23m 16s
generative contents. Build #165: Commit ab14330 pushed by wavewave
June 25, 2023 06:03 1h 16m 21s cache-grid
cache-grid
June 25, 2023 06:03 1h 16m 21s
zoom in/out implementation Build #164: Commit cf6ddfc pushed by wavewave
June 14, 2023 21:15 1h 7m 40s cache-grid
cache-grid
June 14, 2023 21:15 1h 7m 40s
update eventlog-socket Build #163: Commit 19bf2dd pushed by wavewave
March 17, 2023 19:34 1h 7m 4s master
master
March 17, 2023 19:34 1h 7m 4s
fix index state Build #162: Commit b1f15db pushed by wavewave
March 16, 2023 23:53 6m 11s master
master
March 16, 2023 23:53 6m 11s
get/putState Build #161: Commit ecd3037 pushed by wavewave
March 9, 2023 15:43 1h 22m 33s event_process
event_process
March 9, 2023 15:43 1h 22m 33s