Skip to content

Actions: ocaml-multicore/kcas

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplified core algo for verification build-and-test #1344: Pull request #209 synchronize by polytypic
December 20, 2024 09:52 8m 41s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 20, 2024 09:52 8m 41s
Simplified core algo for verification build-and-test #1343: Pull request #209 synchronize by polytypic
December 20, 2024 09:44 9m 20s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 20, 2024 09:44 9m 20s
Simplified core algo for verification build-and-test #1342: Pull request #209 synchronize by polytypic
December 20, 2024 09:27 8m 47s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 20, 2024 09:27 8m 47s
Simplified core algo for verification build-and-test #1341: Pull request #209 synchronize by polytypic
December 19, 2024 13:12 8m 7s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 19, 2024 13:12 8m 7s
Simplified core algo for verification build-and-test #1340: Pull request #209 synchronize by polytypic
December 19, 2024 10:30 7m 50s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 19, 2024 10:30 7m 50s
Simplified core algo for verification build-and-test #1339: Pull request #209 opened by polytypic
December 19, 2024 10:26 4m 45s simplified-core-algo-for-verification
simplified-core-algo-for-verification
December 19, 2024 10:26 4m 45s
Change to use Picos instead of DLA and DLT build-and-test #1338: Pull request #204 synchronize by polytypic
December 17, 2024 17:03 11m 41s port-to-picos
port-to-picos
December 17, 2024 17:03 11m 41s
Grammar build-and-test #1337: Commit a7db9d4 pushed by polytypic
December 17, 2024 16:56 7m 28s main
main
December 17, 2024 16:56 7m 28s
Change to use Picos instead of DLA and DLT build-and-test #1336: Pull request #204 synchronize by polytypic
December 16, 2024 22:29 11m 33s port-to-picos
port-to-picos
December 16, 2024 22:29 11m 33s
Sleeping barbers example build-and-test #1335: Pull request #84 synchronize by polytypic
December 16, 2024 10:42 10m 20s sleeping-barbers-example
sleeping-barbers-example
December 16, 2024 10:42 10m 20s
Add optional capacity to queue build-and-test #1334: Pull request #74 synchronize by polytypic
December 16, 2024 10:39 10m 53s add-optional-capacity-to-queue
add-optional-capacity-to-queue
December 16, 2024 10:39 10m 53s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1333: Pull request #196 synchronize by polytypic
December 16, 2024 10:38 9m 17s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
December 16, 2024 10:38 9m 17s
Add optional capacity to queue build-and-test #1332: Pull request #74 synchronize by polytypic
December 16, 2024 10:23 23m 8s add-optional-capacity-to-queue
add-optional-capacity-to-queue
December 16, 2024 10:23 23m 8s
Expose Dllist type to allow matchable cursors build-and-test #1331: Pull request #183 synchronize by polytypic
December 16, 2024 10:22 19m 34s expose-dllist-to-allow-matchable-cursors
expose-dllist-to-allow-matchable-cursors
December 16, 2024 10:22 19m 34s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1330: Pull request #196 synchronize by polytypic
December 16, 2024 10:22 18m 5s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
December 16, 2024 10:22 18m 5s
Upgrade to ocamlformat 0.27.0 build-and-test #1329: Commit 97e6f09 pushed by polytypic
December 16, 2024 10:21 17m 6s main
main
December 16, 2024 10:21 17m 6s
Upgrade to ocamlformat 0.27.0 build-and-test #1328: Pull request #208 opened by polytypic
December 16, 2024 08:47 21m 44s upgrade-to-ocamlformat-0.27.0
upgrade-to-ocamlformat-0.27.0
December 16, 2024 08:47 21m 44s
Change to use Picos instead of DLA and DLT build-and-test #1327: Pull request #204 synchronize by polytypic
November 24, 2024 12:26 11m 10s port-to-picos
port-to-picos
November 24, 2024 12:26 11m 10s
Change to use Picos instead of DLA and DLT build-and-test #1326: Pull request #204 synchronize by polytypic
November 24, 2024 12:12 19m 46s port-to-picos
port-to-picos
November 24, 2024 12:12 19m 46s
Sleeping barbers example build-and-test #1325: Pull request #84 synchronize by polytypic
November 10, 2024 17:37 7m 22s sleeping-barbers-example
sleeping-barbers-example
November 10, 2024 17:37 7m 22s
Change to use Picos instead of DLA and DLT build-and-test #1324: Pull request #204 synchronize by polytypic
November 10, 2024 15:54 10m 24s port-to-picos
port-to-picos
November 10, 2024 15:54 10m 24s
Add a transaction benchmark using a naïve unscalable leftist heap build-and-test #1323: Pull request #196 synchronize by polytypic
November 10, 2024 15:49 8m 43s add-xt-leftist-heap-benchmark
add-xt-leftist-heap-benchmark
November 10, 2024 15:49 8m 43s
Expose Dllist type to allow matchable cursors build-and-test #1322: Pull request #183 synchronize by polytypic
November 10, 2024 15:46 7m 48s expose-dllist-to-allow-matchable-cursors
expose-dllist-to-allow-matchable-cursors
November 10, 2024 15:46 7m 48s
Add optional capacity to queue build-and-test #1321: Pull request #74 synchronize by polytypic
November 10, 2024 15:46 7m 46s add-optional-capacity-to-queue
add-optional-capacity-to-queue
November 10, 2024 15:46 7m 46s
Revise benchmarks build-and-test #1320: Commit 2d68931 pushed by polytypic
November 10, 2024 15:38 7m 47s main
main
November 10, 2024 15:38 7m 47s