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 GADT to avoid closures build-and-test #1151: Pull request #186 synchronize by polytypic
February 25, 2024 19:39 5m 55s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 19:39 5m 55s
Use GADT to avoid closures build-and-test #1150: Pull request #186 synchronize by polytypic
February 25, 2024 19:33 6m 21s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 19:33 6m 21s
Use GADT to avoid closures build-and-test #1149: Pull request #186 synchronize by polytypic
February 25, 2024 19:26 8m 2s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 19:26 8m 2s
Use GADT to avoid closures build-and-test #1148: Pull request #186 synchronize by polytypic
February 25, 2024 19:11 20m 17s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 19:11 20m 17s
Use GADT to avoid closures build-and-test #1147: Pull request #186 synchronize by polytypic
February 25, 2024 18:53 38m 18s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 18:53 38m 18s
Use GADT to avoid closures build-and-test #1146: Pull request #186 synchronize by polytypic
February 25, 2024 18:48 13m 52s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 18:48 13m 52s
Use GADT to avoid closures build-and-test #1145: Pull request #186 synchronize by polytypic
February 25, 2024 18:18 54m 8s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 18:18 54m 8s
Use GADT to avoid closures build-and-test #1144: Pull request #186 synchronize by polytypic
February 25, 2024 17:50 53m 49s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 17:50 53m 49s
Use GADT to avoid closures build-and-test #1143: Pull request #186 synchronize by polytypic
February 25, 2024 17:45 52m 16s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 17:45 52m 16s
Use GADT to avoid closures build-and-test #1142: Pull request #186 synchronize by polytypic
February 25, 2024 16:49 51m 15s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 16:49 51m 15s
Use GADT to avoid closures build-and-test #1141: Pull request #186 synchronize by polytypic
February 25, 2024 16:10 51m 22s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 16:10 51m 22s
Use GADT to avoid closures build-and-test #1140: Pull request #186 synchronize by polytypic
February 25, 2024 16:04 51m 43s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 16:04 51m 43s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1139: Pull request #196 synchronize by polytypic
February 25, 2024 15:58 54m 2s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
February 25, 2024 15:58 54m 2s
Use GADT to avoid closures build-and-test #1138: Pull request #186 synchronize by polytypic
February 25, 2024 15:48 50m 12s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 15:48 50m 12s
Require sherlodoc and dune 3.14 build-and-test #1137: Commit fc24f99 pushed by polytypic
February 25, 2024 15:48 53m 7s main
main
February 25, 2024 15:48 53m 7s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1136: Pull request #196 synchronize by polytypic
February 25, 2024 15:44 53m 59s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
February 25, 2024 15:44 53m 59s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1135: Pull request #196 synchronize by polytypic
February 25, 2024 15:29 53m 36s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
February 25, 2024 15:29 53m 36s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1134: Pull request #196 synchronize by polytypic
February 25, 2024 15:06 1m 20s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
February 25, 2024 15:06 1m 20s
Prefer to set in init build-and-test #1133: Commit de04533 pushed by polytypic
February 25, 2024 15:03 52m 13s main
main
February 25, 2024 15:03 52m 13s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1132: Pull request #196 opened by polytypic
February 25, 2024 14:58 52m 18s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
February 25, 2024 14:58 52m 18s
Release notes for 0.7.0 build-and-test #1131: Pull request #195 opened by polytypic
February 25, 2024 13:42 52m 6s release-notes-for-0.7.0
release-notes-for-0.7.0
February 25, 2024 13:42 52m 6s
Require sherlodoc and dune 3.14 build-and-test #1130: Pull request #194 opened by polytypic
February 25, 2024 13:33 52m 44s require-sherlodoc-and-new-dune
require-sherlodoc-and-new-dune
February 25, 2024 13:33 52m 44s
Use GADT to avoid closures build-and-test #1129: Pull request #186 synchronize by polytypic
February 25, 2024 13:18 52m 24s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 13:18 52m 24s
Link to software transactional memory build-and-test #1128: Commit a3e3fd7 pushed by polytypic
February 25, 2024 13:17 53m 13s main
main
February 25, 2024 13:17 53m 13s
Use GADT to avoid closures build-and-test #1127: Pull request #186 synchronize by polytypic
February 25, 2024 13:10 52m 16s use-gadt-to-avoid-closures
use-gadt-to-avoid-closures
February 25, 2024 13:10 52m 16s