Skip to content

Actions: mirage/ocaml-cohttp

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
406 workflow runs
406 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Main workflow Main workflow #1325: Scheduled
July 24, 2023 01:29 48m 21s master
master
July 24, 2023 01:29 48m 21s
Eio backend using stock parsing, serialization and signatures from Cohttp. Main workflow #1324: Pull request #984 synchronize by mefyl
July 22, 2023 15:49 34m 43s mefyl:eio
mefyl:eio
July 22, 2023 15:49 34m 43s
Main workflow Main workflow #1323: by mseri
July 21, 2023 15:08 25m 33s v5.3.0
v5.3.0
July 21, 2023 15:08 25m 33s
Merge pull request #994 from mseri/v5-backports Main workflow #1322: Commit 30d4626 pushed by mseri
July 21, 2023 15:07 24m 30s v5-backports
v5-backports
July 21, 2023 15:07 24m 30s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1321: Pull request #994 synchronize by mseri
July 21, 2023 15:06 22m 19s mseri:v5-backports
mseri:v5-backports
July 21, 2023 15:06 22m 19s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1320: Pull request #994 synchronize by mseri
July 21, 2023 15:05 18m 33s mseri:v5-backports
mseri:v5-backports
July 21, 2023 15:05 18m 33s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1319: Pull request #994 synchronize by mseri
July 21, 2023 14:27 20m 57s mseri:v5-backports
mseri:v5-backports
July 21, 2023 14:27 20m 57s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1318: Pull request #994 synchronize by mseri
July 21, 2023 14:06 17m 57s mseri:v5-backports
mseri:v5-backports
July 21, 2023 14:06 17m 57s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1317: Pull request #994 synchronize by mseri
July 21, 2023 12:40 15m 45s mseri:v5-backports
mseri:v5-backports
July 21, 2023 12:40 15m 45s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1316: Pull request #994 synchronize by mseri
July 21, 2023 11:36 1h 4m 3s mseri:v5-backports
mseri:v5-backports
July 21, 2023 11:36 1h 4m 3s
Main workflow Main workflow #1315: by mseri
July 21, 2023 11:33 47m 36s v4.1.2
v4.1.2
July 21, 2023 11:33 47m 36s
Merge pull request #993 from mseri/v4-backports Main workflow #1314: Commit 81f6105 pushed by mseri
July 21, 2023 11:31 23m 40s v4-backports
v4-backports
July 21, 2023 11:31 23m 40s
cohttp-async 5: backport compat to async/base v0.16 Main workflow #1313: Pull request #994 opened by mseri
July 21, 2023 07:42 24m 32s mseri:v5-backports
mseri:v5-backports
July 21, 2023 07:42 24m 32s
cohttp-lwt-unix 4: keep compatibility with cmdliner Main workflow #1312: Pull request #993 opened by mseri
July 21, 2023 07:30 25m 55s mseri:v4-backports
mseri:v4-backports
July 21, 2023 07:30 25m 55s
Merge pull request #992 from mefyl/master Main workflow #1311: Commit b0104b4 pushed by mseri
July 19, 2023 15:37 30m 13s master
master
July 19, 2023 15:37 30m 13s
cohttp-lwt: Don't leak asynchronous Retry exceptions. Main workflow #1310: Pull request #992 synchronize by mefyl
July 19, 2023 12:03 30m 52s mefyl:master
mefyl:master
July 19, 2023 12:03 30m 52s
cohttp-lwt: Don't leak asynchronous Retry exceptions. Main workflow #1309: Pull request #992 opened by mefyl
July 19, 2023 11:56 6m 59s mefyl:master
mefyl:master
July 19, 2023 11:56 6m 59s
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 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
ProTip! You can narrow down the results and go further in time using created:<2023-07-06 or the other filters available.