Skip to content

Actions: talex5/eio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: eio_posix: use directory FDs instead of realpath
Main workflow #430: Commit ceb98e0 pushed by talex5
October 11, 2023 12:11 35m 16s posix-dirfd
October 11, 2023 12:11 35m 16s
Main workflow
Main workflow #429: by talex5
October 9, 2023 13:46 21m 35s bench-stat
October 9, 2023 13:46 21m 35s
Update minimum OCaml version to 5.1
Main workflow #428: Commit 8ff3fb1 pushed by talex5
October 9, 2023 10:05 12m 51s ocaml-5.1
October 9, 2023 10:05 12m 51s
Update minimum OCaml version to 5.1
Main workflow #427: Commit b618aa0 pushed by talex5
October 9, 2023 10:02 10m 26s ocaml-5.1
October 9, 2023 10:02 10m 26s
Update minimum OCaml version to 5.1
Main workflow #426: Commit eefea6e pushed by talex5
October 9, 2023 09:26 18m 52s ocaml-5.1
October 9, 2023 09:26 18m 52s
Try removing dra windows repo
Main workflow #425: Commit 08d836a pushed by talex5
October 9, 2023 09:07 19m 9s remove-dra-repo
October 9, 2023 09:07 19m 9s
Update minimum OCaml version to 5.1
Main workflow #424: Commit 7809a87 pushed by talex5
October 9, 2023 09:03 22m 16s ocaml-5.1
October 9, 2023 09:03 22m 16s
Add Path.stat benchmark
Main workflow #423: Commit c9bafed pushed by talex5
October 8, 2023 16:34 20m 25s bench-stat
October 8, 2023 16:34 20m 25s
eio_linux: mark as only available on Linux
Main workflow #422: Commit 5b127ad pushed by talex5
October 7, 2023 13:31 22m 21s linux-available
October 7, 2023 13:31 22m 21s
Add Path.rmtree ?missing_ok and allow non-directories
Main workflow #421: Commit 9158f45 pushed by talex5
October 6, 2023 09:27 12m 32s rmtree
October 6, 2023 09:27 12m 32s
Add Path.rmtree
Main workflow #420: Commit e45a9a1 pushed by talex5
September 30, 2023 10:33 12m 57s rmtree
September 30, 2023 10:33 12m 57s
Add Path.rmtree
Main workflow #419: Commit 5d4e938 pushed by talex5
September 29, 2023 15:23 23m 6s rmtree
September 29, 2023 15:23 23m 6s
Add Path.mkdirs and Path.split
Main workflow #418: Commit fa5bc53 pushed by talex5
September 29, 2023 13:04 12m 15s mkdirs
September 29, 2023 13:04 12m 15s
Add Path.mkdirs and Path.split
Main workflow #417: Commit f754042 pushed by talex5
September 29, 2023 13:01 10m 5s mkdirs
September 29, 2023 13:01 10m 5s
Add Path.mkdirs and Path.split
Main workflow #416: Commit 887f844 pushed by talex5
September 29, 2023 12:45 10m 14s mkdirs
September 29, 2023 12:45 10m 14s
Add Path.mkdirs and Path.split
Main workflow #415: Commit 771d12c pushed by talex5
September 29, 2023 12:36 12m 6s mkdirs
September 29, 2023 12:36 12m 6s
Add Eio.File.{seek,sync,truncate}
Main workflow #414: Commit 482d247 pushed by talex5
September 28, 2023 11:47 13m 44s file-ops
September 28, 2023 11:47 13m 44s
Add Eio.File.{seek,sync,truncate}
Main workflow #413: Commit 0f20d89 pushed by talex5
September 28, 2023 11:21 25m 32s file-ops
September 28, 2023 11:21 25m 32s
Add Eio.File.{seek,sync,truncate}
Main workflow #412: Commit acad59b pushed by talex5
September 28, 2023 11:15 20m 53s file-ops
September 28, 2023 11:15 20m 53s
Add Eio.File.{seek,sync,truncate}
Main workflow #411: Commit 1e4a056 pushed by talex5
September 28, 2023 11:14 22m 36s file-ops
September 28, 2023 11:14 22m 36s
Add Path.mkdirs and Path.split
Main workflow #410: Commit 144f48e pushed by talex5
September 27, 2023 12:56 13m 40s mkdirs
September 27, 2023 12:56 13m 40s
Add Path.mkdirs and Path.split
Main workflow #409: Commit ff7c5db pushed by talex5
September 27, 2023 12:51 19m 5s mkdirs
September 27, 2023 12:51 19m 5s
Add Path.mkdirs and Path.split
Main workflow #408: Commit 586801e pushed by talex5
September 27, 2023 12:48 13m 6s mkdirs
September 27, 2023 12:48 13m 6s
Add Path.mkdirs and Path.split
Main workflow #407: Commit ffed31e pushed by talex5
September 27, 2023 12:27 24m 48s mkdirs
September 27, 2023 12:27 24m 48s
WIP
Main workflow #406: Commit a7dcc4c pushed by talex5
September 27, 2023 12:16 22m 45s mkdirs
September 27, 2023 12:16 22m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.