Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,257 workflow runs
2,257 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #5: by panglesd
October 20, 2023 09:06 1m 3s gh-pages
gh-pages
October 20, 2023 09:06 1m 3s
pages build and deployment pages-build-deployment #4: by panglesd
October 20, 2023 08:50 1m 3s gh-pages
gh-pages
October 20, 2023 08:50 1m 3s
Changelog entry of #1019 belongs to the next release Build #1574: Commit fc1ea9e pushed by panglesd
October 20, 2023 06:27 9m 46s master
master
October 20, 2023 06:27 9m 46s
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
Changelog entry of #1019 belongs to the next release Build #1573: Pull request #1024 opened by gpetiot
October 19, 2023 23:58 8m 45s changelog-post-2-3.0
changelog-post-2-3.0
October 19, 2023 23:58 8m 45s
change color to gruvbox theme Build #1572: Pull request #1023 opened by EmileTrotignon
October 19, 2023 14:52 11m 46s EmileTrotignon:gruvbox-colors
EmileTrotignon:gruvbox-colors
October 19, 2023 14:52 11m 46s
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
pages build and deployment pages-build-deployment #3: by panglesd
October 19, 2023 14:48 1m 5s gh-pages
gh-pages
October 19, 2023 14:48 1m 5s
Collect occurrences information Build #1571: Pull request #976 synchronize by panglesd
October 19, 2023 13:43 12m 27s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 13:43 12m 27s
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 Build #1570: Pull request #976 synchronize by panglesd
October 19, 2023 07:34 13m 20s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 07:34 13m 20s
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 Build #1569: Pull request #976 synchronize by panglesd
October 19, 2023 06:49 11m 43s panglesd:occurrences-in-odoc
panglesd:occurrences-in-odoc
October 19, 2023 06:49 11m 43s
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 Build #1568: Pull request #999 synchronize by EmileTrotignon
October 17, 2023 14:16 14m 24s EmileTrotignon:sidebar-middle
EmileTrotignon:sidebar-middle
October 17, 2023 14:16 14m 24s
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 Build #1567: Commit 699b3af pushed by panglesd
October 17, 2023 06:21 16m 29s master
master
October 17, 2023 06:21 16m 29s
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 Build #1566: Pull request #1019 synchronize by gpetiot
October 17, 2023 00:21 14m 44s fix-1017
fix-1017
October 17, 2023 00:21 14m 44s
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
Print 'private' keyword for private type extensions Build #1565: Pull request #1019 synchronize by gpetiot
October 17, 2023 00:15 15m 55s fix-1017
fix-1017
October 17, 2023 00:15 15m 55s
Add changelog check Build #1564: Commit b8e4d23 pushed by panglesd
October 16, 2023 11:10 14m 50s master
master
October 16, 2023 11:10 14m 50s
Print 'private' keyword for private type extensions Build #1563: Pull request #1019 opened by gpetiot
October 13, 2023 03:49 16m 12s fix-1017
fix-1017
October 13, 2023 03:49 16m 12s
Update URLs in opam files Build #1561: Pull request #1016 opened by Julow
October 11, 2023 08:40 13m 14s Julow:updt-urls-230
Julow:updt-urls-230
October 11, 2023 08:40 13m 14s
Fix references to extension declarations Build #1560: Pull request #949 synchronize by gpetiot
October 10, 2023 23:14 13m 52s fix-932
fix-932
October 10, 2023 23:14 13m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.