Skip to content

Actions: logsem/clutch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
792 workflow runs
792 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exec modality stutter step CI #114: Pull request #19 opened by markusdemedeiros
February 2, 2024 13:46 14m 37s markusdemedeiros:exec_modality_stutter_step
markusdemedeiros:exec_modality_stutter_step
February 2, 2024 13:46 14m 37s
Amortized hash non resizing CI #113: Pull request #18 synchronize by hei411
February 2, 2024 13:01 15m 2s constant_hash
constant_hash
February 2, 2024 13:01 15m 2s
Amortized hash non resizing CI #112: Pull request #18 synchronize by hei411
February 2, 2024 12:24 15m 7s constant_hash
constant_hash
February 2, 2024 12:24 15m 7s
Amortized hash non resizing CI #111: Pull request #18 synchronize by hei411
February 1, 2024 15:18 14m 27s constant_hash
constant_hash
February 1, 2024 15:18 14m 27s
Amortized hash non resizing CI #110: Pull request #18 synchronize by hei411
February 1, 2024 14:23 14m 16s constant_hash
constant_hash
February 1, 2024 14:23 14m 16s
Amortized hash non resizing CI #109: Pull request #18 synchronize by hei411
February 1, 2024 09:46 14m 10s constant_hash
constant_hash
February 1, 2024 09:46 14m 10s
Merge branch 'main' of github.com:logsem/clutch CI #108: Commit e2080ed pushed by alejandroag
January 31, 2024 09:56 13m 45s main
main
January 31, 2024 09:56 13m 45s
close proof of approximate walkSAT CI #107: Commit b963be1 pushed by markusdemedeiros
January 30, 2024 22:17 13m 59s main
main
January 30, 2024 22:17 13m 59s
Amortized hash non resizing CI #106: Pull request #18 synchronize by hei411
January 30, 2024 15:58 13m 53s constant_hash
constant_hash
January 30, 2024 15:58 13m 53s
Amortized hash non resizing CI #105: Pull request #18 synchronize by hei411
January 30, 2024 15:34 14m 17s constant_hash
constant_hash
January 30, 2024 15:34 14m 17s
remove fin section from sampler_lib CI #104: Commit 345e2cf pushed by markusdemedeiros
January 30, 2024 13:51 13m 57s main
main
January 30, 2024 13:51 13m 57s
Tighter amortized error bound CI #103: Commit 6477f24 pushed by alejandroag
January 30, 2024 11:47 14m 29s main
main
January 30, 2024 11:47 14m 29s
Amortized hash non resizing CI #102: Pull request #18 synchronize by hei411
January 30, 2024 10:00 13m 58s constant_hash
constant_hash
January 30, 2024 10:00 13m 58s
Merge branch 'main' of github.com:logsem/clutch CI #101: Commit 8455587 pushed by alejandroag
January 30, 2024 09:47 13m 44s main
main
January 30, 2024 09:47 13m 44s
Amortized hash non resizing CI #100: Pull request #18 synchronize by hei411
January 30, 2024 09:43 11m 12s constant_hash
constant_hash
January 30, 2024 09:43 11m 12s
Merge remote-tracking branch 'upstream/main' CI #99: Commit 094382e pushed by markusdemedeiros
January 30, 2024 02:51 11m 7s main
main
January 30, 2024 02:51 11m 7s
WIP on resizing hash CI #98: Commit 75cbd84 pushed by alejandroag
January 29, 2024 16:21 11m 0s main
main
January 29, 2024 16:21 11m 0s
Amortized hash non resizing CI #97: Pull request #18 opened by hei411
January 29, 2024 14:56 14m 4s constant_hash
constant_hash
January 29, 2024 14:56 14m 4s
git hiccup CI #96: Commit 5a1f57d pushed by markusdemedeiros
January 26, 2024 21:36 13m 50s main
main
January 26, 2024 21:36 13m 50s
Merge pull request #17 from logsem/map_list CI #95: Commit 6bf72a2 pushed by hei411
January 26, 2024 15:31 13m 45s main
main
January 26, 2024 15:31 13m 45s
Map list CI #94: Pull request #17 opened by hei411
January 26, 2024 14:39 13m 51s map_list
map_list
January 26, 2024 14:39 13m 51s
Merge pull request #3 from hei411/coupon CI #93: Commit ec07a82 pushed by hei411
January 26, 2024 12:14 13m 40s main
main
January 26, 2024 12:14 13m 40s
Merge pull request #11 from logsem/twp CI #92: Commit 778d389 pushed by hei411
January 26, 2024 12:13 13m 18s main
main
January 26, 2024 12:13 13m 18s
Twp CI #91: Pull request #11 synchronize by hei411
January 26, 2024 11:58 13m 49s twp
twp
January 26, 2024 11:58 13m 49s
Twp CI #90: Pull request #11 synchronize by hei411
January 26, 2024 09:47 9m 19s twp
twp
January 26, 2024 09:47 9m 19s
ProTip! You can narrow down the results and go further in time using created:<2024-01-26 or the other filters available.