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

Move bench framework to multicore-bench project build-and-test #1103: Pull request #179 synchronize by polytypic
February 3, 2024 00:02 54m 32s refactor-bench
refactor-bench
February 3, 2024 00:02 54m 32s
Move bench framework to multicore-bench project build-and-test #1102: Pull request #179 synchronize by polytypic
February 2, 2024 22:43 53m 19s refactor-bench
refactor-bench
February 2, 2024 22:43 53m 19s
Move bench framework to multicore-bench project build-and-test #1101: Pull request #179 synchronize by polytypic
February 2, 2024 18:18 53m 4s refactor-bench
refactor-bench
February 2, 2024 18:18 53m 4s
Move bench framework to multicore-bench project build-and-test #1100: Pull request #179 synchronize by polytypic
February 2, 2024 18:15 3m 10s refactor-bench
refactor-bench
February 2, 2024 18:15 3m 10s
Move bench framework to multicore-bench project build-and-test #1099: Pull request #179 synchronize by polytypic
February 2, 2024 14:40 52m 7s refactor-bench
refactor-bench
February 2, 2024 14:40 52m 7s
Move bench framework to multicore-bench project build-and-test #1098: Pull request #179 synchronize by polytypic
February 2, 2024 14:33 6m 59s refactor-bench
refactor-bench
February 2, 2024 14:33 6m 59s
Move bench framework to multicore-bench project build-and-test #1097: Pull request #179 synchronize by polytypic
February 2, 2024 14:30 10m 31s refactor-bench
refactor-bench
February 2, 2024 14:30 10m 31s
Move bench framework to multicore-bench project build-and-test #1096: Pull request #179 synchronize by polytypic
February 2, 2024 14:26 13m 50s refactor-bench
refactor-bench
February 2, 2024 14:26 13m 50s
Move bench framework to multicore-bench project build-and-test #1095: Pull request #179 synchronize by polytypic
February 2, 2024 14:11 28m 56s refactor-bench
refactor-bench
February 2, 2024 14:11 28m 56s
WIP: Two stack queue build-and-test #1094: Pull request #175 synchronize by polytypic
January 25, 2024 16:57 53m 41s two-stack-queue
two-stack-queue
January 25, 2024 16:57 53m 41s
Add optional capacity to queue build-and-test #1093: Pull request #74 synchronize by polytypic
January 25, 2024 16:53 51m 39s add-optional-capacity-to-queue
add-optional-capacity-to-queue
January 25, 2024 16:53 51m 39s
Use GADT to avoid closures build-and-test #1092: Pull request #186 synchronize by polytypic
January 25, 2024 16:35 58m 3s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
January 25, 2024 16:35 58m 3s
Move bench framework to multicore-bench project build-and-test #1091: Pull request #179 synchronize by polytypic
January 25, 2024 16:35 53m 32s refactor-bench
refactor-bench
January 25, 2024 16:35 53m 32s
Copy opam files before opam update build-and-test #1090: Commit 44c732c pushed by polytypic
January 25, 2024 16:28 54m 40s main
main
January 25, 2024 16:28 54m 40s
Copy opam files before opam update build-and-test #1089: Pull request #189 synchronize by polytypic
January 25, 2024 16:12 20m 13s copy-opam-files-before-opam-udate
copy-opam-files-before-opam-udate
January 25, 2024 16:12 20m 13s
Copy opam files before opam update build-and-test #1088: Pull request #189 opened by polytypic
January 25, 2024 15:54 38m 10s copy-opam-files-before-opam-udate
copy-opam-files-before-opam-udate
January 25, 2024 15:54 38m 10s
Sleeping barbers example build-and-test #1087: Pull request #84 synchronize by polytypic
January 25, 2024 15:38 1h 19m 29s sleeping-barbers-example
sleeping-barbers-example
January 25, 2024 15:38 1h 19m 29s
Add optional capacity to queue build-and-test #1086: Pull request #74 synchronize by polytypic
January 25, 2024 15:38 1h 15m 45s add-optional-capacity-to-queue
add-optional-capacity-to-queue
January 25, 2024 15:38 1h 15m 45s
Additional communication and synchronization primitives build-and-test #1085: Pull request #49 synchronize by polytypic
January 25, 2024 15:37 1h 18m 47s additional-communication-and-synchronization-primitives
additional-communication-and-synchronization-primitives
January 25, 2024 15:37 1h 18m 47s
Reimplement queue using a new two stack representation build-and-test #1084: Pull request #132 synchronize by polytypic
January 25, 2024 15:37 1h 5m 39s queue-using-two-stacks
queue-using-two-stacks
January 25, 2024 15:37 1h 5m 39s
WIP: Two stack queue build-and-test #1083: Pull request #175 synchronize by polytypic
January 25, 2024 15:36 1h 6m 42s two-stack-queue
two-stack-queue
January 25, 2024 15:36 1h 6m 42s
Use GADT to avoid closures build-and-test #1082: Pull request #186 synchronize by polytypic
January 25, 2024 15:36 55m 13s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
January 25, 2024 15:36 55m 13s
Avoid allocation in no-op update build-and-test #1081: Pull request #130 synchronize by polytypic
January 25, 2024 15:35 58m 8s tweak-update
tweak-update
January 25, 2024 15:35 58m 8s
Expose Dllist type to allow matchable cursors build-and-test #1080: Pull request #183 synchronize by polytypic
January 25, 2024 15:35 54m 32s expose-dllist-to-allow-matchable-cursors
expose-dllist-to-allow-matchable-cursors
January 25, 2024 15:35 54m 32s
Move bench framework to multicore-bench project build-and-test #1079: Pull request #179 synchronize by polytypic
January 25, 2024 15:34 53m 22s refactor-bench
refactor-bench
January 25, 2024 15:34 53m 22s