Skip to content

Actions: mirage/ocaml-tar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #14: by reynir
September 20, 2024 11:11 41s gh-pages
gh-pages
September 20, 2024 11:11 41s
pages build and deployment pages-build-deployment #13: by reynir
September 13, 2024 08:23 47s gh-pages
gh-pages
September 13, 2024 08:23 47s
pages build and deployment pages-build-deployment #12: by reynir
September 11, 2024 10:28 36s gh-pages
gh-pages
September 11, 2024 10:28 36s
pages build and deployment pages-build-deployment #11: by dinosaure
August 5, 2024 13:21 43s gh-pages
gh-pages
August 5, 2024 13:21 43s
Main workflow Main workflow #489: Scheduled
July 15, 2024 01:29 6m 48s main
main
July 15, 2024 01:29 6m 48s
Main workflow Main workflow #488: Scheduled
July 8, 2024 01:29 6m 50s main
main
July 8, 2024 01:29 6m 50s
Main workflow Main workflow #487: Scheduled
July 1, 2024 01:29 7m 11s main
main
July 1, 2024 01:29 7m 11s
Main workflow Main workflow #486: Scheduled
June 24, 2024 01:29 6m 53s main
main
June 24, 2024 01:29 6m 53s
Main workflow Main workflow #485: Scheduled
June 17, 2024 01:29 6m 54s main
main
June 17, 2024 01:29 6m 54s
Main workflow Main workflow #484: Scheduled
June 10, 2024 01:29 7m 1s main
main
June 10, 2024 01:29 7m 1s
Main workflow Main workflow #483: Scheduled
June 3, 2024 01:29 7m 8s main
main
June 3, 2024 01:29 7m 8s
Main workflow Main workflow #482: Scheduled
May 27, 2024 01:28 6m 53s main
main
May 27, 2024 01:28 6m 53s
Main workflow Main workflow #481: Scheduled
May 20, 2024 01:27 7m 3s main
main
May 20, 2024 01:27 7m 3s
New tar gz Main workflow #480: Pull request #146 synchronize by dinosaure
May 15, 2024 16:30 7m 5s new-tar-gz
new-tar-gz
May 15, 2024 16:30 7m 5s
Apply suggestions from @reynir Main workflow #479: Commit 9a4ee14 pushed by dinosaure
May 15, 2024 16:30 7m 0s new-tar-gz
new-tar-gz
May 15, 2024 16:30 7m 0s
New tar gz Main workflow #478: Pull request #146 opened by dinosaure
May 15, 2024 12:48 6m 59s new-tar-gz
new-tar-gz
May 15, 2024 12:48 6m 59s
Add a way to produce a *.tar.gz archive from the new pure API Main workflow #477: Commit 6f4a26b pushed by dinosaure
May 15, 2024 12:46 7m 8s new-tar-gz
new-tar-gz
May 15, 2024 12:46 7m 8s
Main workflow Main workflow #476: Scheduled
May 13, 2024 01:27 7m 8s main
main
May 13, 2024 01:27 7m 8s
Pure dec enc with gz Main workflow #475: Pull request #143 synchronize by reynir
May 9, 2024 08:06 6m 54s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 08:06 6m 54s
Fixups Main workflow #474: Commit 890c1fe pushed by reynir
May 9, 2024 08:06 7m 1s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 08:06 7m 1s
Pure dec enc with gz Main workflow #473: Pull request #143 synchronize by hannesm
May 9, 2024 08:00 6m 47s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 08:00 6m 47s
Remove [`Msg of string] from Tar_unix.decode_error Main workflow #472: Commit 576dcff pushed by hannesm
May 9, 2024 08:00 7m 5s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 08:00 7m 5s
Pure dec enc with gz Main workflow #471: Pull request #143 synchronize by hannesm
May 9, 2024 07:58 7m 5s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 07:58 7m 5s
Seek returns unit, improve documentation Main workflow #470: Commit c24cd1b pushed by hannesm
May 9, 2024 07:58 7m 6s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 9, 2024 07:58 7m 6s
Pure dec enc with gz Main workflow #469: Pull request #143 synchronize by reynir
May 8, 2024 15:16 7m 21s pure-dec-enc-with-gz
pure-dec-enc-with-gz
May 8, 2024 15:16 7m 21s