Skip to content

Actions: ocaml/odoc

Actions

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
752 workflow runs
752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for search in odoc Check Changelog #27: Pull request #972 synchronize by panglesd
October 26, 2023 09:57 16s panglesd:search-bar2
panglesd:search-bar2
October 26, 2023 09:57 16s
Support for search in odoc Check Changelog #26: Pull request #972 synchronize by panglesd
October 26, 2023 09:50 17s panglesd:search-bar2
panglesd:search-bar2
October 26, 2023 09:50 17s
Handle differences in sig_class for OCaml 5.1. (to master branch) Check Changelog #25: Pull request #1027 opened by panglesd
October 25, 2023 14:50 20s panglesd:51fix
panglesd:51fix
October 25, 2023 14:50 20s
Update URLs in opam files Check Changelog #24: Pull request #1016 labeled by Julow
October 25, 2023 09:03 20s Julow:updt-urls-230
Julow:updt-urls-230
October 25, 2023 09:03 20s
Update URLs in opam files Check Changelog #23: Pull request #1016 synchronize by Julow
October 25, 2023 09:02 20s Julow:updt-urls-230
Julow:updt-urls-230
October 25, 2023 09:02 20s
Update odoc-parser's constraint on dune Check Changelog #22: Pull request #1026 labeled by Julow
October 25, 2023 08:24 21s panglesd:fix-parser-constraint-on-dune
panglesd:fix-parser-constraint-on-dune
October 25, 2023 08:24 21s
Collect occurrences information Check Changelog #21: Pull request #976 synchronize by panglesd
October 24, 2023 11:34 16s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 24, 2023 11:34 16s
Collect occurrences information Check Changelog #20: Pull request #976 synchronize by panglesd
October 24, 2023 11:31 18s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 24, 2023 11:31 18s
Collect occurrences information Check Changelog #19: Pull request #976 synchronize by panglesd
October 24, 2023 11:29 14s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 24, 2023 11:29 14s
Collect occurrences information Check Changelog #18: Pull request #976 synchronize by panglesd
October 24, 2023 11:13 15s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 24, 2023 11:13 15s
change color to gruvbox theme Check Changelog #17: Pull request #1023 synchronize by EmileTrotignon
October 23, 2023 13:17 21s EmileTrotignon:gruvbox-colors
EmileTrotignon:gruvbox-colors
October 23, 2023 13:17 21s
change color to gruvbox theme Check Changelog #16: Pull request #1023 synchronize by EmileTrotignon
October 20, 2023 16:55 17s EmileTrotignon:gruvbox-colors
EmileTrotignon:gruvbox-colors
October 20, 2023 16:55 17s
Update odoc-parser's constraint on dune Check Changelog #15: Pull request #1026 opened by panglesd
October 20, 2023 14:11 17s panglesd:fix-parser-constraint-on-dune
panglesd:fix-parser-constraint-on-dune
October 20, 2023 14:11 17s
Doc: parent-child convention for installed packages Check Changelog #14: Pull request #1011 synchronize by panglesd
October 20, 2023 14:07 21s Julow:parent_child_convention
Julow:parent_child_convention
October 20, 2023 14:07 21s
change color to gruvbox theme Check Changelog #13: Pull request #1023 synchronize by EmileTrotignon
October 20, 2023 13:37 18s EmileTrotignon:gruvbox-colors
EmileTrotignon:gruvbox-colors
October 20, 2023 13:37 18s
Reference driver: Generate docs for the parser module Check Changelog #12: Pull request #1025 labeled by panglesd
October 20, 2023 09:48 26s panglesd:parser-in-doc
panglesd:parser-in-doc
October 20, 2023 09:48 26s
Reference driver: Generate docs for the parser module Check Changelog #11: Pull request #1025 opened by panglesd
October 20, 2023 09:45 17s panglesd:parser-in-doc
panglesd:parser-in-doc
October 20, 2023 09:45 17s
Changelog entry of #1019 belongs to the next release Check Changelog #10: Pull request #1024 opened by gpetiot
October 19, 2023 23:58 16s changelog-post-2-3.0
changelog-post-2-3.0
October 19, 2023 23:58 16s
change color to gruvbox theme Check Changelog #9: Pull request #1023 opened by EmileTrotignon
October 19, 2023 14:52 17s EmileTrotignon:gruvbox-colors
EmileTrotignon:gruvbox-colors
October 19, 2023 14:52 17s
Collect occurrences information Check Changelog #8: Pull request #976 synchronize by panglesd
October 19, 2023 13:43 19s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 13:43 19s
Collect occurrences information Check Changelog #7: Pull request #976 synchronize by panglesd
October 19, 2023 07:34 19s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 07:34 19s
Collect occurrences information Check Changelog #6: Pull request #976 synchronize by panglesd
October 19, 2023 06:49 16s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 06:49 16s
Move the sidebar to be stuck to left of the content Check Changelog #5: Pull request #999 synchronize by EmileTrotignon
October 17, 2023 14:16 15s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
October 17, 2023 14:16 15s
Print 'private' keyword for private type extensions Check Changelog #4: Pull request #1019 synchronize by gpetiot
October 17, 2023 00:21 17s fix-1017
fix-1017
October 17, 2023 00:21 17s
Print 'private' keyword for private type extensions Check Changelog #3: Pull request #1019 synchronize by gpetiot
October 17, 2023 00:15 23s fix-1017
fix-1017
October 17, 2023 00:15 23s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.