Skip to content

Actions: savonet/ocaml-cry

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump CHANGES
Documentation #28: Commit e6f8a26 pushed by toots
March 18, 2024 16:41 6m 19s main
March 18, 2024 16:41 6m 19s
Bump CHANGES
CI #67: Commit e6f8a26 pushed by toots
March 18, 2024 16:41 11m 17s main
March 18, 2024 16:41 11m 17s
Fix segfault
CI #66: Commit 4779849 pushed by toots
March 18, 2024 16:40 1m 12s main
March 18, 2024 16:40 1m 12s
Fix segfault
Documentation #27: Commit 4779849 pushed by toots
March 18, 2024 16:40 7m 27s main
March 18, 2024 16:40 7m 27s
Switch to poll.
CI #65: Pull request #12 synchronize by toots
February 4, 2024 23:54 8m 29s poll
February 4, 2024 23:54 8m 29s
Switch to poll.
CI #64: Pull request #12 opened by toots
February 4, 2024 23:43 9m 35s poll
February 4, 2024 23:43 9m 35s
Revert "Switch to poll."
CI #63: Commit 8707a05 pushed by toots
February 4, 2024 23:39 7m 16s main
February 4, 2024 23:39 7m 16s
Revert "Switch to poll."
Documentation #26: Commit 8707a05 pushed by toots
February 4, 2024 23:39 3m 1s main
February 4, 2024 23:39 3m 1s
Back to one poll per poll.
Documentation #25: Commit bdc2bb8 pushed by toots
February 4, 2024 22:13 4m 12s main
February 4, 2024 22:13 4m 12s
Back to one poll per poll.
CI #62: Commit bdc2bb8 pushed by toots
February 4, 2024 22:13 6m 22s main
February 4, 2024 22:13 6m 22s
Better.
Documentation #24: Commit d5487e2 pushed by toots
February 4, 2024 21:50 3m 26s main
February 4, 2024 21:50 3m 26s
Better.
CI #61: Commit d5487e2 pushed by toots
February 4, 2024 21:50 11m 8s main
February 4, 2024 21:50 11m 8s
Use a single poll.
Documentation #23: Commit 3c26258 pushed by toots
February 4, 2024 21:42 3m 24s main
February 4, 2024 21:42 3m 24s
Use a single poll.
CI #60: Commit 3c26258 pushed by toots
February 4, 2024 21:42 7m 27s main
February 4, 2024 21:42 7m 27s
Always check for ready.
CI #59: Commit d10ca88 pushed by toots
February 4, 2024 18:52 6m 58s main
February 4, 2024 18:52 6m 58s
Always check for ready.
Documentation #22: Commit d10ca88 pushed by toots
February 4, 2024 18:52 3m 33s main
February 4, 2024 18:52 3m 33s
Safer timeout computation.
CI #58: Commit 7f2f464 pushed by toots
February 4, 2024 18:38 14m 58s main
February 4, 2024 18:38 14m 58s
Safer timeout computation.
Documentation #21: Commit 7f2f464 pushed by toots
February 4, 2024 18:38 3m 42s main
February 4, 2024 18:38 3m 42s
pages build and deployment
pages-build-deployment #11: by github-pages bot
February 4, 2024 18:21 43s
February 4, 2024 18:21 43s
Switch to poll.
Documentation #20: Commit a4e8307 pushed by toots
February 4, 2024 18:15 6m 41s main
February 4, 2024 18:15 6m 41s
Switch to poll.
CI #57: Commit a4e8307 pushed by toots
February 4, 2024 18:15 11m 52s main
February 4, 2024 18:15 11m 52s
pages build and deployment
pages-build-deployment #10: by github-pages bot
January 10, 2024 22:37 46s
January 10, 2024 22:37 46s
Raise a proper error when non-blocking connection fails.
CI #56: Commit 8afc835 pushed by toots
January 10, 2024 22:34 10m 14s main
January 10, 2024 22:34 10m 14s
Raise a proper error when non-blocking connection fails.
Documentation #19: Commit 8afc835 pushed by toots
January 10, 2024 22:34 3m 6s main
January 10, 2024 22:34 3m 6s
Release 1.0.2!
CI #55: Commit 2009c7b pushed by toots
January 8, 2024 15:03 10m 11s main
January 8, 2024 15:03 10m 11s