Skip to content

Actions: ocaml-multicore/kcas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
989 workflow runs
989 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add more QCheck-STM tests build-and-test #421: Pull request #144 synchronize by polytypic
December 8, 2023 13:39 53m 26s more-stm-tests
more-stm-tests
December 8, 2023 13:39 53m 26s
Add more QCheck-STM tests build-and-test #420: Pull request #144 synchronize by polytypic
December 8, 2023 13:30 7m 22s more-stm-tests
more-stm-tests
December 8, 2023 13:30 7m 22s
Add more QCheck-STM tests build-and-test #419: Pull request #144 synchronize by polytypic
December 8, 2023 13:07 54m 41s more-stm-tests
more-stm-tests
December 8, 2023 13:07 54m 41s
Add more QCheck-STM tests build-and-test #418: Pull request #144 synchronize by polytypic
December 8, 2023 12:55 11m 19s more-stm-tests
more-stm-tests
December 8, 2023 12:55 11m 19s
Add more QCheck-STM tests build-and-test #417: Pull request #144 opened by polytypic
December 8, 2023 12:53 7m 6s more-stm-tests
more-stm-tests
December 8, 2023 12:53 7m 6s
Add Dllist.create_node value build-and-test #416: Pull request #143 synchronize by polytypic
December 8, 2023 12:05 9m 50s add-dllist-create_node
add-dllist-create_node
December 8, 2023 12:05 9m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.