Skip to content

Actions: mirage/ocaml-cohttp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
918 workflow runs
918 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cohttp-lwt: Don't leak asynchronous Retry exceptions. Nix #707: Pull request #992 opened by mefyl
July 19, 2023 11:56 20m 29s mefyl:master
mefyl:master
July 19, 2023 11:56 20m 29s
Main workflow Main workflow #1308: Scheduled
July 17, 2023 01:32 37m 28s master
master
July 17, 2023 01:32 37m 28s
Main workflow Main workflow #1307: Scheduled
July 10, 2023 01:31 45m 35s master
master
July 10, 2023 01:31 45m 35s
Prepare for release of 5.2.0 Main workflow #1306: Commit 7f9e25d pushed by mseri
July 7, 2023 14:37 1h 14m 26s v5-backports
v5-backports
July 7, 2023 14:37 1h 14m 26s
Main workflow Main workflow #1305: by mseri
July 7, 2023 14:35 55m 59s v5.2.0
v5.2.0
July 7, 2023 14:35 55m 59s
Merge pull request #989 from vect0r-vicall/backport@pirbo@server_sent… Main workflow #1304: Commit 687295a pushed by mseri
July 7, 2023 14:33 33m 1s v5-backports
v5-backports
July 7, 2023 14:33 33m 1s
Backport #982 to cohttp.5 Main workflow #1303: Pull request #989 synchronize by mseri
July 7, 2023 14:18 21m 45s vect0r-vicall:backport@pirbo@server_sent_event_ready
vect0r-vicall:backport@pirbo@server_sent_event_ready
July 7, 2023 14:18 21m 45s
Backport #982 to cohttp.5 Main workflow #1302: Pull request #989 opened by vect0r-vicall
July 6, 2023 14:14 31m 48s vect0r-vicall:backport@pirbo@server_sent_event_ready
vect0r-vicall:backport@pirbo@server_sent_event_ready
July 6, 2023 14:14 31m 48s
Remove special treatment of "host" header Changelog check #495: Pull request #988 synchronize by mseri
July 6, 2023 07:51 13s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:51 13s
Remove special treatment of "host" header Main workflow #1301: Pull request #988 synchronize by mseri
July 6, 2023 07:51 17m 1s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:51 17m 1s
Remove special treatment of "host" header Nix #706: Pull request #988 synchronize by mseri
July 6, 2023 07:51 23m 37s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:51 23m 37s
Remove special treatment of "host" header Main workflow #1300: Pull request #988 opened by mseri
July 6, 2023 07:50 51s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:50 51s
Remove special treatment of "host" header Nix #705: Pull request #988 opened by mseri
July 6, 2023 07:50 20m 31s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:50 20m 31s
Remove special treatment of "host" header Changelog check #494: Pull request #988 opened by mseri
July 6, 2023 07:50 13s mseri:remove-header-host-special
mseri:remove-header-host-special
July 6, 2023 07:50 13s
Merge pull request #986 from mseri/master Main workflow #1299: Commit de39002 pushed by mseri
July 6, 2023 07:25 27m 6s master
master
July 6, 2023 07:25 27m 6s
Merge pull request #986 from mseri/master Nix #704: Commit de39002 pushed by mseri
July 6, 2023 07:25 21m 16s master
master
July 6, 2023 07:25 21m 16s
Main workflow Main workflow #1298: Scheduled
July 3, 2023 01:30 35m 16s master
master
July 3, 2023 01:30 35m 16s
Eio backend using stock parsing, serialization and signatures from Cohttp. Changelog check #493: Pull request #984 synchronize by mefyl
July 1, 2023 09:09 18s mefyl:eio
mefyl:eio
July 1, 2023 09:09 18s
Eio backend using stock parsing, serialization and signatures from Cohttp. Nix #703: Pull request #984 synchronize by mefyl
July 1, 2023 09:09 38s mefyl:eio
mefyl:eio
July 1, 2023 09:09 38s
Eio backend using stock parsing, serialization and signatures from Cohttp. Main workflow #1297: Pull request #984 synchronize by mefyl
July 1, 2023 09:09 26m 27s mefyl:eio
mefyl:eio
July 1, 2023 09:09 26m 27s
Cohttp: ensure "host" is the first header in requests and other fixes Main workflow #1296: Pull request #986 synchronize by mseri
June 30, 2023 22:18 25m 20s mseri:master
mseri:master
June 30, 2023 22:18 25m 20s
Cohttp: ensure "host" is the first header in requests and other fixes Nix #702: Pull request #986 synchronize by mseri
June 30, 2023 22:18 1m 16s mseri:master
mseri:master
June 30, 2023 22:18 1m 16s
Cohttp: ensure "host" is the first header in requests and other fixes Changelog check #492: Pull request #986 synchronize by mseri
June 30, 2023 22:18 18s mseri:master
mseri:master
June 30, 2023 22:18 18s
Cohttp: ensure "host" is the first header in requests and other fixes Nix #701: Pull request #986 synchronize by mseri
June 30, 2023 17:57 1m 15s mseri:master
mseri:master
June 30, 2023 17:57 1m 15s
Cohttp: ensure "host" is the first header in requests and other fixes Changelog check #491: Pull request #986 synchronize by mseri
June 30, 2023 17:57 11s mseri:master
mseri:master
June 30, 2023 17:57 11s
ProTip! You can narrow down the results and go further in time using created:<2023-06-30 or the other filters available.