Skip to content

Actions: mirage/ocaml-tar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement Tar_gz.gzipped : _ Tar.t -> _ Tar.t Main workflow #444: Commit 14681fe pushed by reynir
February 7, 2024 13:23 7m 21s pure-dec-enc-with-gz
pure-dec-enc-with-gz
February 7, 2024 13:23 7m 21s
Pure dec enc with gz Main workflow #443: Pull request #143 synchronize by dinosaure
February 7, 2024 12:30 7m 32s pure-dec-enc-with-gz
pure-dec-enc-with-gz
February 7, 2024 12:30 7m 32s
Keep the bind as is and Tar_gz does not require the run function (/cc… Main workflow #442: Commit 8b308a9 pushed by dinosaure
February 7, 2024 12:30 7m 26s pure-dec-enc-with-gz
pure-dec-enc-with-gz
February 7, 2024 12:30 7m 26s
Pure dec enc with gz Main workflow #441: Pull request #143 opened by dinosaure
February 7, 2024 11:13 7m 42s pure-dec-enc-with-gz
pure-dec-enc-with-gz
February 7, 2024 11:13 7m 42s
Purify fold and move it into Tar with a GADT, use it then for Tar_gz … Main workflow #440: Commit 2388f62 pushed by dinosaure
February 7, 2024 11:08 7m 27s pure-dec-enc-with-gz
pure-dec-enc-with-gz
February 7, 2024 11:08 7m 27s
Main workflow Main workflow #439: Scheduled
February 5, 2024 01:25 7m 37s main
main
February 5, 2024 01:25 7m 37s
revise a decoder and encoder, being pure Main workflow #438: Pull request #140 synchronize by hannesm
February 4, 2024 12:31 7m 7s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 12:31 7m 7s
revise a decoder and encoder, being pure Main workflow #437: Pull request #140 synchronize by hannesm
February 4, 2024 12:28 7m 5s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 12:28 7m 5s
revise a decoder and encoder, being pure Main workflow #436: Pull request #140 synchronize by hannesm
February 4, 2024 12:22 7m 18s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 12:22 7m 18s
revise a decoder and encoder, being pure Main workflow #435: Pull request #140 synchronize by hannesm
February 4, 2024 12:01 7m 43s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 12:01 7m 43s
revise a decoder and encoder, being pure Main workflow #434: Pull request #140 synchronize by hannesm
February 4, 2024 00:37 7m 18s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 00:37 7m 18s
revise a decoder and encoder, being pure Main workflow #433: Pull request #140 synchronize by hannesm
February 4, 2024 00:05 7m 22s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 4, 2024 00:05 7m 22s
revise a decoder and encoder, being pure Main workflow #432: Pull request #140 synchronize by hannesm
February 3, 2024 23:15 7m 11s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 3, 2024 23:15 7m 11s
revise a decoder and encoder, being pure Main workflow #431: Pull request #140 synchronize by hannesm
February 3, 2024 21:36 7m 14s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 3, 2024 21:36 7m 14s
Merge pull request #141 from hannesm/no-ref Main workflow #430: Commit ef66a98 pushed by hannesm
February 3, 2024 19:01 7m 24s main
main
February 3, 2024 19:01 7m 24s
revise a decoder and encoder, being pure Main workflow #429: Pull request #140 synchronize by hannesm
February 3, 2024 15:59 7m 33s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 3, 2024 15:59 7m 33s
revise a decoder and encoder, being pure Main workflow #428: Pull request #140 synchronize by hannesm
February 3, 2024 15:52 7m 17s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 3, 2024 15:52 7m 17s
remove ref to compatibility level Main workflow #427: Pull request #141 opened by hannesm
February 3, 2024 12:56 7m 41s hannesm:no-ref
hannesm:no-ref
February 3, 2024 12:56 7m 41s
revise a decoder and encoder, being pure Main workflow #426: Pull request #140 synchronize by hannesm
February 2, 2024 18:48 7m 38s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 2, 2024 18:48 7m 38s
revise a decoder and encoder, being pure Main workflow #425: Pull request #140 opened by hannesm
February 2, 2024 16:49 7m 50s hannesm:pure-dec-enc
hannesm:pure-dec-enc
February 2, 2024 16:49 7m 50s
remove the cstruct dependency (#137) Main workflow #424: Commit 9fdff04 pushed by hannesm
February 2, 2024 12:38 7m 39s main
main
February 2, 2024 12:38 7m 39s
remove the cstruct dependency Main workflow #423: Pull request #137 synchronize by hannesm
February 1, 2024 17:08 7m 27s hannesm:no-cstruct
hannesm:no-cstruct
February 1, 2024 17:08 7m 27s
remove the cstruct dependency Main workflow #422: Pull request #137 synchronize by hannesm
February 1, 2024 16:33 7m 22s hannesm:no-cstruct
hannesm:no-cstruct
February 1, 2024 16:33 7m 22s
remove the cstruct dependency Main workflow #421: Pull request #137 synchronize by hannesm
February 1, 2024 16:19 7m 36s hannesm:no-cstruct
hannesm:no-cstruct
February 1, 2024 16:19 7m 36s
remove the cstruct dependency Main workflow #420: Pull request #137 synchronize by hannesm
February 1, 2024 15:51 7m 17s hannesm:no-cstruct
hannesm:no-cstruct
February 1, 2024 15:51 7m 17s