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

Demonstration of "linearizable chaining" build-and-test #413: Pull request #140 synchronize by polytypic
December 8, 2023 11:38 11m 19s linearizable-chaining
linearizable-chaining
December 8, 2023 11:38 11m 19s
Use instantaneous_domain_index in Accumulator build-and-test #412: Pull request #139 synchronize by polytypic
December 8, 2023 11:36 9m 34s use-domain_index
use-domain_index
December 8, 2023 11:36 9m 34s
Add QCheck-STM test for Accumulator build-and-test #411: Commit eda5722 pushed by polytypic
December 8, 2023 11:35 9m 48s main
main
December 8, 2023 11:35 9m 48s
Use instantaneous_domain_index in Accumulator build-and-test #410: Pull request #139 synchronize by polytypic
December 8, 2023 10:05 9m 42s use-domain_index
use-domain_index
December 8, 2023 10:05 9m 42s
Add QCheck-STM test for Accumulator build-and-test #409: Pull request #142 synchronize by polytypic
December 8, 2023 09:44 9m 47s add-accumulator_stm_test
add-accumulator_stm_test
December 8, 2023 09:44 9m 47s
Add QCheck-STM test for Accumulator build-and-test #408: Pull request #142 opened by polytypic
December 8, 2023 09:21 9m 58s add-accumulator_stm_test
add-accumulator_stm_test
December 8, 2023 09:21 9m 58s
Use instantaneous_domain_index in Accumulator build-and-test #407: Pull request #139 synchronize by polytypic
December 8, 2023 09:19 9m 39s use-domain_index
use-domain_index
December 8, 2023 09:19 9m 39s
Use instantaneous_domain_index in Accumulator build-and-test #406: Pull request #139 synchronize by polytypic
December 8, 2023 09:17 9m 28s use-domain_index
use-domain_index
December 8, 2023 09:17 9m 28s
Demonstration of "linearizable chaining" build-and-test #405: Pull request #140 synchronize by polytypic
December 8, 2023 09:16 9m 30s linearizable-chaining
linearizable-chaining
December 8, 2023 09:16 9m 30s
Add a QCheck-STM test for Stack build-and-test #404: Commit 456ed7c pushed by polytypic
December 8, 2023 09:16 8m 39s main
main
December 8, 2023 09:16 8m 39s
Add a QCheck-STM test for Stack build-and-test #403: Pull request #141 opened by polytypic
December 8, 2023 08:56 8m 43s add-stm-test
add-stm-test
December 8, 2023 08:56 8m 43s
Demonstration of "linearizable chaining" build-and-test #402: Pull request #140 synchronize by polytypic
December 8, 2023 08:18 8m 44s linearizable-chaining
linearizable-chaining
December 8, 2023 08:18 8m 44s
Demonstration of "linearizable chaining" build-and-test #401: Pull request #140 opened by polytypic
December 6, 2023 10:53 9m 53s linearizable-chaining
linearizable-chaining
December 6, 2023 10:53 9m 53s
Use instantaneous_domain_index in Accumulator build-and-test #400: Pull request #139 synchronize by polytypic
December 3, 2023 18:22 8m 32s use-domain_index
use-domain_index
December 3, 2023 18:22 8m 32s
Use instantaneous_domain_index in Accumulator build-and-test #399: Pull request #139 synchronize by polytypic
December 3, 2023 10:50 8m 24s use-domain_index
use-domain_index
December 3, 2023 10:50 8m 24s
Use instantaneous_domain_index in Accumulator build-and-test #398: Pull request #139 synchronize by polytypic
December 3, 2023 10:26 6m 53s use-domain_index
use-domain_index
December 3, 2023 10:26 6m 53s
Use instantaneous_domain_index in Accumulator build-and-test #397: Pull request #139 synchronize by polytypic
December 3, 2023 10:21 7m 2s use-domain_index
use-domain_index
December 3, 2023 10:21 7m 2s
Use instantaneous_domain_index in Accumulator build-and-test #396: Pull request #139 synchronize by polytypic
December 3, 2023 10:18 6m 54s use-domain_index
use-domain_index
December 3, 2023 10:18 6m 54s
Use instantaneous_domain_index in Accumulator build-and-test #395: Pull request #139 synchronize by polytypic
December 3, 2023 10:13 6m 56s use-domain_index
use-domain_index
December 3, 2023 10:13 6m 56s
Use instantaneous_domain_index in Accumulator build-and-test #394: Pull request #139 synchronize by polytypic
December 3, 2023 00:28 6m 54s use-domain_index
use-domain_index
December 3, 2023 00:28 6m 54s
Use instantaneous_domain_index in Accumulator build-and-test #393: Pull request #139 synchronize by polytypic
December 3, 2023 00:15 7m 47s use-domain_index
use-domain_index
December 3, 2023 00:15 7m 47s
Use instantaneous_domain_index in Accumulator build-and-test #392: Pull request #139 synchronize by polytypic
December 3, 2023 00:13 8m 25s use-domain_index
use-domain_index
December 3, 2023 00:13 8m 25s
Use instantaneous_domain_index in Accumulator build-and-test #391: Pull request #139 synchronize by polytypic
December 3, 2023 00:03 8m 0s use-domain_index
use-domain_index
December 3, 2023 00:03 8m 0s
Use instantaneous_domain_index in Accumulator build-and-test #390: Pull request #139 synchronize by polytypic
December 2, 2023 22:42 7m 56s use-domain_index
use-domain_index
December 2, 2023 22:42 7m 56s
Use instantaneous_domain_index in Accumulator build-and-test #389: Pull request #139 synchronize by polytypic
December 2, 2023 22:20 7m 42s use-domain_index
use-domain_index
December 2, 2023 22:20 7m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-12-02 or the other filters available.