Skip to content

Actions: savonet/ocaml-duppy

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
Remove. CI #67: Commit 904759f pushed by toots
January 2, 2024 21:01 6m 30s main
main
January 2, 2024 21:01 6m 30s
Revert CI #66: Commit f35d781 pushed by toots
January 2, 2024 20:54 3m 2s main
main
January 2, 2024 20:54 3m 2s
Revert Doc #8: Commit f35d781 pushed by toots
January 2, 2024 20:54 3m 23s main
main
January 2, 2024 20:54 3m 23s
Try this. Doc #7: Commit ad4a5c5 pushed by toots
January 2, 2024 20:52 47s main
main
January 2, 2024 20:52 47s
Try this. CI #65: Commit ad4a5c5 pushed by toots
January 2, 2024 20:52 2m 49s main
main
January 2, 2024 20:52 2m 49s
Try this. Doc #6: Commit 6378234 pushed by toots
January 2, 2024 20:49 5s main
main
January 2, 2024 20:49 5s
Try this. CI #64: Commit 6378234 pushed by toots
January 2, 2024 20:49 2m 42s main
main
January 2, 2024 20:49 2m 42s
Add permissions. Doc #5: Commit 8670d59 pushed by toots
January 2, 2024 20:43 3m 6s main
main
January 2, 2024 20:43 3m 6s
Add permissions. CI #63: Commit 8670d59 pushed by toots
January 2, 2024 20:43 2m 51s main
main
January 2, 2024 20:43 2m 51s
Change name. Doc #4: Commit b475c1f pushed by toots
January 2, 2024 19:53 3m 47s main
main
January 2, 2024 19:53 3m 47s
Change name. CI #62: Commit b475c1f pushed by toots
January 2, 2024 19:53 3m 6s main
main
January 2, 2024 19:53 3m 6s
Merge pull request #9 from glondu/switch-away-from-pcre Doc #3: Commit e8d033d pushed by github-merge-queue bot
January 2, 2024 19:51 2s main
main
January 2, 2024 19:51 2s
Merge pull request #9 from glondu/switch-away-from-pcre CI #61: Commit e8d033d pushed by github-merge-queue bot
January 2, 2024 19:51 2m 21s main
main
January 2, 2024 19:51 2m 21s
Use Re.Pcre instead of Pcre CI #60: Pull request #9 synchronize by toots
January 2, 2024 19:49 3m 1s glondu:switch-away-from-pcre
glondu:switch-away-from-pcre
January 2, 2024 19:49 3m 1s
Try this. CI #59: Commit 3b2a34b pushed by toots
January 2, 2024 17:44 10m 10s main
main
January 2, 2024 17:44 10m 10s
Try this. Doc #2: Commit 3b2a34b pushed by toots
January 2, 2024 17:44 2s main
main
January 2, 2024 17:44 2s
Convert to lockfree. CI #58: Pull request #11 synchronize by toots
January 2, 2024 17:27 9m 46s lockfree
lockfree
January 2, 2024 17:27 9m 46s
backport this. CI #57: Commit 2f6e1a3 pushed by toots
January 2, 2024 17:26 3s main
main
January 2, 2024 17:26 3s
backport this. Doc #1: Commit 2f6e1a3 pushed by toots
January 2, 2024 17:26 5m 58s main
main
January 2, 2024 17:26 5m 58s
Convert to lockfree. CI #56: Pull request #11 synchronize by toots
January 2, 2024 17:26 1m 24s lockfree
lockfree
January 2, 2024 17:26 1m 24s
Convert to lockfree. CI #55: Pull request #11 synchronize by toots
January 2, 2024 16:39 7m 29s lockfree
lockfree
January 2, 2024 16:39 7m 29s
Convert to lockfree. CI #54: Pull request #11 synchronize by toots
January 2, 2024 16:30 8m 43s lockfree
lockfree
January 2, 2024 16:30 8m 43s
Convert to lockfree. CI #53: Pull request #11 synchronize by toots
January 1, 2024 21:05 11m 33s lockfree
lockfree
January 1, 2024 21:05 11m 33s
Convert to lockfree. CI #52: Pull request #11 synchronize by toots
January 1, 2024 21:03 1m 28s lockfree
lockfree
January 1, 2024 21:03 1m 28s
Add concurrency. CI #51: Commit 2a9c605 pushed by toots
January 1, 2024 21:01 2m 57s lockfree
lockfree
January 1, 2024 21:01 2m 57s