Skip to content

Actions: savonet/ocaml-cry

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
66 workflow runs
66 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Bump CHANGES Documentation #28: Commit e6f8a26 pushed by toots
March 18, 2024 16:41 6m 19s main
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
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
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
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
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
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
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
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
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
main
February 4, 2024 22:13 6m 22s
Better. Documentation #24: Commit d5487e2 pushed by toots
February 4, 2024 21:50 3m 26s main
main
February 4, 2024 21:50 3m 26s
Better. CI #61: Commit d5487e2 pushed by toots
February 4, 2024 21:50 11m 8s main
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
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
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
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
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
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
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
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
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
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
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
main
January 8, 2024 15:03 10m 11s