Skip to content

Actions: ocaml-multicore/kcas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,015 workflow runs
1,015 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Dllist.create_node value build-and-test #463: Commit 5919d85 pushed by polytypic
December 8, 2023 20:16 55m 37s main
main
December 8, 2023 20:16 55m 37s
Add Xt.compare_and_set build-and-test #462: Pull request #146 synchronize by polytypic
December 8, 2023 20:05 30m 9s add-xt_compare_and_set
add-xt_compare_and_set
December 8, 2023 20:05 30m 9s
Add Xt.compare_and_set build-and-test #461: Pull request #146 opened by polytypic
December 8, 2023 19:45 49m 42s add-xt_compare_and_set
add-xt_compare_and_set
December 8, 2023 19:45 49m 42s
Avoid an allocation on Hashtbl.remove build-and-test #460: Pull request #135 synchronize by polytypic
December 8, 2023 18:12 53m 32s tweak-hashtbl
tweak-hashtbl
December 8, 2023 18:12 53m 32s
Add Dllist.create_node value build-and-test #459: Pull request #143 synchronize by polytypic
December 8, 2023 18:07 53m 58s add-dllist-create_node
add-dllist-create_node
December 8, 2023 18:07 53m 58s
Demonstration of "linearizable chaining" build-and-test #458: Pull request #140 synchronize by polytypic
December 8, 2023 18:06 53m 23s linearizable-chaining
linearizable-chaining
December 8, 2023 18:06 53m 23s
Use instantaneous_domain_index in Accumulator build-and-test #457: Pull request #139 synchronize by polytypic
December 8, 2023 18:06 52m 47s use-domain_index
use-domain_index
December 8, 2023 18:06 52m 47s
Change to use Picos for scheduler interop build-and-test #456: Pull request #136 synchronize by polytypic
December 8, 2023 18:05 53m 49s change-to-use-picos
change-to-use-picos
December 8, 2023 18:05 53m 49s
Reimplement queue using a new two stack representation build-and-test #455: Pull request #132 synchronize by polytypic
December 8, 2023 18:05 53m 18s queue-using-two-stacks
queue-using-two-stacks
December 8, 2023 18:05 53m 18s
Avoid allocation in no-op update build-and-test #454: Pull request #130 synchronize by polytypic
December 8, 2023 18:04 55m 0s tweak-update
tweak-update
December 8, 2023 18:04 55m 0s
Fix single location updates to be linearizable and tweak internals build-and-test #453: Pull request #128 synchronize by polytypic
December 8, 2023 18:04 54m 40s tweak-attempts
tweak-attempts
December 8, 2023 18:04 54m 40s
Remove the Op API build-and-test #452: Pull request #113 synchronize by polytypic
December 8, 2023 18:04 54m 58s remove-op-api
remove-op-api
December 8, 2023 18:04 54m 58s
Sleeping barbers example build-and-test #451: Pull request #84 synchronize by polytypic
December 8, 2023 18:04 53m 40s sleeping-barbers-example
sleeping-barbers-example
December 8, 2023 18:04 53m 40s
Add optional capacity to queue build-and-test #450: Pull request #74 synchronize by polytypic
December 8, 2023 18:03 52m 58s add-optional-capacity-to-queue
add-optional-capacity-to-queue
December 8, 2023 18:03 52m 58s
Additional communication and synchronization primitives build-and-test #449: Pull request #49 synchronize by polytypic
December 8, 2023 18:03 52m 50s additional-communication-and-synchronization-primitives
additional-communication-and-synchronization-primitives
December 8, 2023 18:03 52m 50s
Add more QCheck-STM tests build-and-test #448: Commit 854a41d pushed by polytypic
December 8, 2023 18:02 52m 32s main
main
December 8, 2023 18:02 52m 32s
Add more QCheck-STM tests build-and-test #447: Pull request #144 synchronize by polytypic
December 8, 2023 14:51 53m 11s more-stm-tests
more-stm-tests
December 8, 2023 14:51 53m 11s
Add Dllist.create_node value build-and-test #446: Pull request #143 synchronize by polytypic
December 8, 2023 14:51 9m 57s add-dllist-create_node
add-dllist-create_node
December 8, 2023 14:51 9m 57s
Demonstration of "linearizable chaining" build-and-test #445: Pull request #140 synchronize by polytypic
December 8, 2023 14:50 11m 35s linearizable-chaining
linearizable-chaining
December 8, 2023 14:50 11m 35s
Use instantaneous_domain_index in Accumulator build-and-test #444: Pull request #139 synchronize by polytypic
December 8, 2023 14:50 9m 33s use-domain_index
use-domain_index
December 8, 2023 14:50 9m 33s
Change to use Picos for scheduler interop build-and-test #443: Pull request #136 synchronize by polytypic
December 8, 2023 14:49 10m 7s change-to-use-picos
change-to-use-picos
December 8, 2023 14:49 10m 7s
Avoid an allocation on Hashtbl.remove build-and-test #442: Pull request #135 synchronize by polytypic
December 8, 2023 14:48 9m 43s tweak-hashtbl
tweak-hashtbl
December 8, 2023 14:48 9m 43s
Reimplement queue using a new two stack representation build-and-test #441: Pull request #132 synchronize by polytypic
December 8, 2023 14:48 9m 47s queue-using-two-stacks
queue-using-two-stacks
December 8, 2023 14:48 9m 47s
Avoid allocation in no-op update build-and-test #440: Pull request #130 synchronize by polytypic
December 8, 2023 14:47 9m 56s tweak-update
tweak-update
December 8, 2023 14:47 9m 56s
Fix single location updates to be linearizable and tweak internals build-and-test #439: Pull request #128 synchronize by polytypic
December 8, 2023 14:47 9m 51s tweak-attempts
tweak-attempts
December 8, 2023 14:47 9m 51s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.