Skip to content

Actions: ocaml-multicore/kcas

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use stm_run private lib (from Picos) with time based deadline build-and-test #1198: Pull request #203 synchronize by polytypic
August 29, 2024 17:55 9m 39s use-stm_run-from-picos-with-time-based-deadlines
use-stm_run-from-picos-with-time-based-deadlines
August 29, 2024 17:55 9m 39s
Use stm_run private lib (from Picos) with time based deadline build-and-test #1197: Pull request #203 opened by polytypic
August 29, 2024 17:46 8m 23s use-stm_run-from-picos-with-time-based-deadlines
use-stm_run-from-picos-with-time-based-deadlines
August 29, 2024 17:46 8m 23s
Upgrade dependencies build-and-test #1196: Commit 780e50e pushed by polytypic
August 29, 2024 11:23 57m 3s main
main
August 29, 2024 11:23 57m 3s
Upgrade dependencies build-and-test #1195: Pull request #202 opened by polytypic
August 29, 2024 10:26 57m 33s maintenance
maintenance
August 29, 2024 10:26 57m 33s
Add optional capacity to queue build-and-test #1194: Pull request #74 synchronize by polytypic
July 17, 2024 08:18 51m 51s add-optional-capacity-to-queue
add-optional-capacity-to-queue
July 17, 2024 08:18 51m 51s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1193: Pull request #196 synchronize by polytypic
July 17, 2024 08:17 51m 7s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
July 17, 2024 08:17 51m 7s
Upgrade ocamlformat to 0.26.2 build-and-test #1192: Commit 1747c24 pushed by polytypic
July 17, 2024 08:16 51m 37s main
main
July 17, 2024 08:16 51m 37s
Upgrade ocamlformat to 0.26.2 build-and-test #1191: Pull request #201 opened by polytypic
July 17, 2024 08:10 50m 32s upgrade-ocamlformat-to-0.26.2
upgrade-ocamlformat-to-0.26.2
July 17, 2024 08:10 50m 32s
Reimplement queue using a new two stack representation build-and-test #1190: Pull request #132 synchronize by polytypic
July 17, 2024 06:57 52m 55s queue-using-two-stacks
queue-using-two-stacks
July 17, 2024 06:57 52m 55s
Sleeping barbers example build-and-test #1189: Pull request #84 synchronize by polytypic
July 17, 2024 06:56 51m 56s sleeping-barbers-example
sleeping-barbers-example
July 17, 2024 06:56 51m 56s
Add optional capacity to queue build-and-test #1188: Pull request #74 synchronize by polytypic
July 17, 2024 06:56 52m 33s add-optional-capacity-to-queue
add-optional-capacity-to-queue
July 17, 2024 06:56 52m 33s
WIP: Two stack queue build-and-test #1187: Pull request #175 synchronize by polytypic
July 17, 2024 06:55 55m 37s two-stack-queue
two-stack-queue
July 17, 2024 06:55 55m 37s
Expose Dllist type to allow matchable cursors build-and-test #1186: Pull request #183 synchronize by polytypic
July 17, 2024 06:55 51m 29s expose-dllist-to-allow-matchable-cursors
expose-dllist-to-allow-matchable-cursors
July 17, 2024 06:55 51m 29s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1185: Pull request #196 synchronize by polytypic
July 17, 2024 06:54 52m 46s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
July 17, 2024 06:54 52m 46s
Test on 5.2.0 build-and-test #1184: Commit b234a02 pushed by polytypic
July 17, 2024 05:53 56m 47s main
main
July 17, 2024 05:53 56m 47s
Test on 5.2.0 build-and-test #1183: Pull request #199 synchronize by polytypic
July 16, 2024 22:40 51m 22s test-and-bench-on-5.2.0
test-and-bench-on-5.2.0
July 16, 2024 22:40 51m 22s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1182: Pull request #196 synchronize by polytypic
July 16, 2024 22:01 58m 5s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
July 16, 2024 22:01 58m 5s
Expose Dllist type to allow matchable cursors build-and-test #1181: Pull request #183 synchronize by polytypic
July 16, 2024 21:59 58m 20s expose-dllist-to-allow-matchable-cursors
expose-dllist-to-allow-matchable-cursors
July 16, 2024 21:59 58m 20s
WIP: Two stack queue build-and-test #1180: Pull request #175 synchronize by polytypic
July 16, 2024 21:58 1h 0m 11s two-stack-queue
two-stack-queue
July 16, 2024 21:58 1h 0m 11s
Test on 5.2.0 build-and-test #1179: Pull request #199 synchronize by polytypic
July 16, 2024 21:43 53m 27s test-and-bench-on-5.2.0
test-and-bench-on-5.2.0
July 16, 2024 21:43 53m 27s
Test on 5.2.0 build-and-test #1178: Pull request #199 synchronize by polytypic
May 15, 2024 19:46 8m 22s test-and-bench-on-5.2.0
test-and-bench-on-5.2.0
May 15, 2024 19:46 8m 22s
Bench on 5.2.x build-and-test #1177: Commit 240981e pushed by polytypic
May 15, 2024 19:46 57m 39s main
main
May 15, 2024 19:46 57m 39s
Bench on 5.2.x build-and-test #1176: Pull request #200 synchronize by polytypic
May 15, 2024 19:44 52m 18s bench-on-5.2.x
bench-on-5.2.x
May 15, 2024 19:44 52m 18s
Bench on 5.2.x build-and-test #1175: Pull request #200 synchronize by polytypic
May 15, 2024 19:43 52m 36s bench-on-5.2.x
bench-on-5.2.x
May 15, 2024 19:43 52m 36s
Bench on 5.2.x build-and-test #1174: Pull request #200 opened by polytypic
May 15, 2024 18:40 58m 32s bench-on-5.2.x
bench-on-5.2.x
May 15, 2024 18:40 58m 32s