Skip to content

Actions: ocaml/odoc

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Find odoc files in accessible path more efficiently Check Changelog #269: Pull request #1075 synchronize by panglesd
February 12, 2024 15:04 16s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 15:04 16s
Find odoc files in accessible path more efficiently Build #1859: Pull request #1075 synchronize by panglesd
February 12, 2024 15:04 6m 15s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 15:04 6m 15s
Find odoc files in accessible path more efficiently Check Changelog #268: Pull request #1075 synchronize by panglesd
February 12, 2024 14:41 13s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:41 13s
Find odoc files in accessible path more efficiently Build #1858: Pull request #1075 synchronize by panglesd
February 12, 2024 14:41 11m 29s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:41 11m 29s
Find odoc files in accessible path more efficiently Check Changelog #267: Pull request #1075 synchronize by panglesd
February 12, 2024 14:25 16s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:25 16s
Find odoc files in accessible path more efficiently Build #1857: Pull request #1075 synchronize by panglesd
February 12, 2024 14:25 5m 53s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:25 5m 53s
Find odoc files in accessible path more efficiently Build #1856: Pull request #1075 synchronize by panglesd
February 12, 2024 14:05 6m 12s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:05 6m 12s
Find odoc files in accessible path more efficiently Check Changelog #266: Pull request #1075 synchronize by panglesd
February 12, 2024 14:05 13s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:05 13s
Find odoc files in accessible path more efficiently Check Changelog #265: Pull request #1075 synchronize by panglesd
February 12, 2024 14:04 16s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:04 16s
Find odoc files in accessible path more efficiently Build #1855: Pull request #1075 synchronize by panglesd
February 12, 2024 14:04 6m 22s panglesd:squared-search-path
panglesd:squared-search-path
February 12, 2024 14:04 6m 22s
Adding documentation on json search index format Check Changelog #264: Pull request #1077 labeled by panglesd
February 9, 2024 13:08 16s panglesd:document-json-output
panglesd:document-json-output
February 9, 2024 13:08 16s
Merge pull request #1073 from Julow/remove-predef-types Build #1854: Commit a97ee80 pushed by Julow
February 9, 2024 10:40 9m 51s master
master
February 9, 2024 10:40 9m 51s
Fix a problem with extended opens (issue #1066) Build #1853: Pull request #1082 opened by jonludlam
February 9, 2024 10:40 15m 47s jonludlam:fix-1066
jonludlam:fix-1066
February 9, 2024 10:40 15m 47s
Fix a problem with extended opens (issue #1066) Check Changelog #263: Pull request #1082 opened by jonludlam
February 9, 2024 10:40 6m 48s jonludlam:fix-1066
jonludlam:fix-1066
February 9, 2024 10:40 6m 48s
Overhaul of module-type-of and shadowing Check Changelog #262: Pull request #1081 synchronize by jonludlam
February 8, 2024 23:32 13s jonludlam:original-path9
jonludlam:original-path9
February 8, 2024 23:32 13s
Overhaul of module-type-of and shadowing Build #1852: Pull request #1081 synchronize by jonludlam
February 8, 2024 23:32 5m 51s jonludlam:original-path9
jonludlam:original-path9
February 8, 2024 23:32 5m 51s
Overhaul of module-type-of and shadowing Check Changelog #261: Pull request #1081 opened by jonludlam
February 8, 2024 23:29 16s jonludlam:original-path9
jonludlam:original-path9
February 8, 2024 23:29 16s
Overhaul of module-type-of and shadowing Build #1851: Pull request #1081 opened by jonludlam
February 8, 2024 23:29 5m 55s jonludlam:original-path9
jonludlam:original-path9
February 8, 2024 23:29 5m 55s
Add a few more tests in anticipation of fixes Check Changelog #260: Pull request #1079 synchronize by jonludlam
February 8, 2024 17:32 14s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 17:32 14s
Add a few more tests in anticipation of fixes Build #1850: Pull request #1079 synchronize by jonludlam
February 8, 2024 17:32 6m 14s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 17:32 6m 14s
Add a few more tests in anticipation of fixes Check Changelog #259: Pull request #1079 labeled by jonludlam
February 8, 2024 16:32 14s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 16:32 14s
Add a few more tests in anticipation of fixes Build #1849: Pull request #1079 synchronize by jonludlam
February 8, 2024 16:30 6m 16s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 16:30 6m 16s
Add a few more tests in anticipation of fixes Check Changelog #258: Pull request #1079 synchronize by jonludlam
February 8, 2024 16:30 15s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 16:30 15s
Add a few more tests in anticipation of fixes Build #1848: Pull request #1079 synchronize by jonludlam
February 8, 2024 16:25 7m 7s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 16:25 7m 7s
Add a few more tests in anticipation of fixes Check Changelog #257: Pull request #1079 synchronize by jonludlam
February 8, 2024 16:25 12s jonludlam:more-tests
jonludlam:more-tests
February 8, 2024 16:25 12s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.