Skip to content

Actions: ocaml-multicore/kcas

Actions

build-and-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
980 workflow runs
980 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Remove the Op API build-and-test #438: Pull request #113 synchronize by polytypic
December 8, 2023 14:45 9m 44s remove-op-api
remove-op-api
December 8, 2023 14:45 9m 44s
Sleeping barbers example build-and-test #437: Pull request #84 synchronize by polytypic
December 8, 2023 14:45 10m 36s sleeping-barbers-example
sleeping-barbers-example
December 8, 2023 14:45 10m 36s
Add optional capacity to queue build-and-test #436: Pull request #74 synchronize by polytypic
December 8, 2023 14:45 9m 37s add-optional-capacity-to-queue
add-optional-capacity-to-queue
December 8, 2023 14:45 9m 37s
Additional communication and synchronization primitives build-and-test #435: Pull request #49 synchronize by polytypic
December 8, 2023 14:44 9m 41s additional-communication-and-synchronization-primitives
additional-communication-and-synchronization-primitives
December 8, 2023 14:44 9m 41s
CSE workarounds build-and-test #434: Commit d7572aa pushed by polytypic
December 8, 2023 14:43 9m 52s main
main
December 8, 2023 14:43 9m 52s
Add more QCheck-STM tests build-and-test #433: Pull request #144 synchronize by polytypic
December 8, 2023 14:34 54m 15s more-stm-tests
more-stm-tests
December 8, 2023 14:34 54m 15s
Avoid allocation in no-op update build-and-test #432: Pull request #130 synchronize by polytypic
December 8, 2023 14:13 9m 56s tweak-update
tweak-update
December 8, 2023 14:13 9m 56s
Reimplement queue using a new two stack representation build-and-test #431: Pull request #132 synchronize by polytypic
December 8, 2023 14:12 10m 6s queue-using-two-stacks
queue-using-two-stacks
December 8, 2023 14:12 10m 6s
Avoid an allocation on Hashtbl.remove build-and-test #430: Pull request #135 synchronize by polytypic
December 8, 2023 14:11 9m 41s tweak-hashtbl
tweak-hashtbl
December 8, 2023 14:11 9m 41s
Fix single location updates to be linearizable and tweak internals build-and-test #429: Pull request #128 synchronize by polytypic
December 8, 2023 14:10 9m 46s tweak-attempts
tweak-attempts
December 8, 2023 14:10 9m 46s
Remove the Op API build-and-test #428: Pull request #113 synchronize by polytypic
December 8, 2023 14:08 10m 40s remove-op-api
remove-op-api
December 8, 2023 14:08 10m 40s
Sleeping barbers example build-and-test #427: Pull request #84 synchronize by polytypic
December 8, 2023 14:07 10m 11s sleeping-barbers-example
sleeping-barbers-example
December 8, 2023 14:07 10m 11s
Add optional capacity to queue build-and-test #426: Pull request #74 synchronize by polytypic
December 8, 2023 14:07 10m 27s add-optional-capacity-to-queue
add-optional-capacity-to-queue
December 8, 2023 14:07 10m 27s
Additional communication and synchronization primitives build-and-test #425: Pull request #49 synchronize by polytypic
December 8, 2023 14:06 10m 0s additional-communication-and-synchronization-primitives
additional-communication-and-synchronization-primitives
December 8, 2023 14:06 10m 0s
Change to use Picos for scheduler interop build-and-test #424: Pull request #136 synchronize by polytypic
December 8, 2023 14:06 9m 43s change-to-use-picos
change-to-use-picos
December 8, 2023 14:06 9m 43s
Add Dllist.create_node value build-and-test #423: Pull request #143 synchronize by polytypic
December 8, 2023 13:55 9m 55s add-dllist-create_node
add-dllist-create_node
December 8, 2023 13:55 9m 55s
CSE workarounds build-and-test #422: Pull request #145 opened by polytypic
December 8, 2023 13:50 10m 5s cse-workarounds
cse-workarounds
December 8, 2023 13:50 10m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.