8000 Workflow runs · ocaml-multicore/kcas · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: ocaml-multicore/kcas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change to use Picos instead of DLA and DLT build-and-test #1352: Pull request #204 synchronize by polytypic
June 14, 2025 22:32 17m 59s port-to-picos
port-to-picos
June 14, 2025 22:32 17m 59s
pages build and deployment pages-build-deployment #91: by polytypic
June 14, 2025 22:31 29s gh-pages
gh-pages
June 14, 2025 22:31 29s
Inline Loc ops and unroll build-and-test #1351: Commit 7a83eb3 pushed by polytypic
June 14, 2025 22:31 14m 47s main
main
June 14, 2025 22:31 14m 47s
Inline Loc ops and unroll build-and-test #1350: Pull request #211 synchronize by polytypic
June 14, 2025 22:26 6m 56s inline-and-unroll-loc-bench
inline-and-unroll-loc-bench
June 14, 2025 22:26 6m 56s
Clean up .gitignore build-and-test #1349: Commit 8b71e1b pushed by polytypic
June 14, 2025 22:25 16m 26s main
main
June 14, 2025 22:25 16m 26s
Inline Loc ops and unroll build-and-test #1348: Pull request #211 opened by polytypic
June 14, 2025 22:13 16m 8s inline-and-unroll-loc-bench
inline-and-unroll-loc-bench
June 14, 2025 22:13 16m 8s
Change to use Picos instead of DLA and DLT build-and-test #1347: Pull request #204 synchronize by polytypic
April 1, 2025 19:58 19m 49s port-to-picos
port-to-picos
April 1, 2025 19:58 19m 49s
Bench and test with OCaml 5.3 build-and-test #1346: Commit e859db2 pushed by polytypic
January 9, 2025 09:27 17m 15s main
main
January 9, 2025 09:27 17m 15s
Bench and test with OCaml 5.3 build-and-test #1345: Pull request #210 opened by polytypic
January 9, 2025 08:49 17m 31s bench-and-test-with-5.3
bench-and-test-with-5.3
January 9, 2025 08:49 17m 31s
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
0