Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,349 workflow runs
18,349 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for coqdep flags. CI #29005: Pull request #11094 synchronize by rlepigre
November 11, 2024 16:15 17m 52s rlepigre:coqdep-flags
rlepigre:coqdep-flags
November 11, 2024 16:15 17m 52s
refactor(ml_sources): classify tests stanzas CI #29004: Pull request #11111 synchronize by Alizter
November 11, 2024 00:04 14m 26s Alizter:classify-tests-stanzas
Alizter:classify-tests-stanzas
November 11, 2024 00:04 14m 26s
refactor(ml_sources): classify tests stanzas CI #29003: Pull request #11111 opened by Alizter
November 10, 2024 23:49 15m 53s Alizter:classify-tests-stanzas
Alizter:classify-tests-stanzas
November 10, 2024 23:49 15m 53s
feature: add aliases for inline tests CI #29002: Pull request #11109 synchronize by Alizter
November 10, 2024 16:25 16m 46s Alizter:ps/rr/feature__add_aliases_for_inline_tests
Alizter:ps/rr/feature__add_aliases_for_inline_tests
November 10, 2024 16:25 16m 46s
feature: add aliases for inline tests CI #29001: Pull request #11109 opened by Alizter
November 10, 2024 16:20 5m 4s Alizter:ps/rr/feature__add_aliases_for_inline_tests
Alizter:ps/rr/feature__add_aliases_for_inline_tests
November 10, 2024 16:20 5m 4s
Improve dune runtest hints for non-test files CI #29000: Pull request #11108 synchronize by Alizter
November 10, 2024 13:50 17m 48s Alizter:fix-runtest-non-test
Alizter:fix-runtest-non-test
November 10, 2024 13:50 17m 48s
Improve dune runtest hints for non-test files CI #28999: Pull request #11108 opened by Alizter
November 10, 2024 13:49 1m 16s Alizter:fix-runtest-non-test
Alizter:fix-runtest-non-test
November 10, 2024 13:49 1m 16s
Explain how to override default entry point CI #28998: Pull request #11092 synchronize by benji-sb
November 8, 2024 16:15 Action required benji-sb:doc-custom-entrypoint
benji-sb:doc-custom-entrypoint
November 8, 2024 16:15 Action required
Update doc dependencies in the doc itself CI #28997: Pull request #10932 synchronize by ElectreAAS
November 8, 2024 10:39 16m 50s ElectreAAS:patch-1
ElectreAAS:patch-1
November 8, 2024 10:39 16m 50s
Explain how to override default entry point CI #28996: Pull request #11092 synchronize by christinerose
November 8, 2024 00:29 16m 24s benji-sb:doc-custom-entrypoint
benji-sb:doc-custom-entrypoint
November 8, 2024 00:29 16m 24s
pkg: Install all the dev-tools that are available CI #28995: Pull request #11032 synchronize by moyodiallo
November 7, 2024 23:03 16m 39s moyodiallo:install-dev-tools
moyodiallo:install-dev-tools
November 7, 2024 23:03 16m 39s
pages build and deployment pages-build-deployment #9367: by github-pages bot
November 7, 2024 18:25 44s
November 7, 2024 18:25 44s
pages build and deployment pages-build-deployment #9366: by github-pages bot
November 7, 2024 18:25 11s
November 7, 2024 18:25 11s
pages build and deployment pages-build-deployment #9365: by github-pages bot
November 7, 2024 18:21 44s
November 7, 2024 18:21 44s
pages build and deployment pages-build-deployment #9364: by github-pages bot
November 7, 2024 18:19 37s
November 7, 2024 18:19 37s
refactor: remove [Lib_config] from [Lib] (#11105) CI #28994: Commit f7af2d0 pushed by rgrinberg
November 7, 2024 18:11 17m 0s main
main
November 7, 2024 18:11 17m 0s
refactor: remove [Lib_config] from [Lib] (#11105) Build time benchmarks #2636: Commit f7af2d0 pushed by rgrinberg
November 7, 2024 18:11 14m 21s main
main
November 7, 2024 18:11 14m 21s
Drastically simplify output when packages are missing in solve CI #28993: Pull request #11040 synchronize by ElectreAAS
November 7, 2024 16:05 31m 55s ElectreAAS:cleaner-solver-failure
ElectreAAS:cleaner-solver-failure
November 7, 2024 16:05 31m 55s
Drastically simplify output when packages are missing in solve CI #28992: Pull request #11040 synchronize by ElectreAAS
November 7, 2024 16:04 44s ElectreAAS:cleaner-solver-failure
ElectreAAS:cleaner-solver-failure
November 7, 2024 16:04 44s
fix(pkg): dune fmt missing extra files from the locks. CI #28991: Pull request #10951 synchronize by moyodiallo
November 7, 2024 16:01 26m 11s moyodiallo:fix-extra-files
moyodiallo:fix-extra-files
November 7, 2024 16:01 26m 11s
pkg: Install all the dev-tools that are available CI #28990: Pull request #11032 synchronize by moyodiallo
November 7, 2024 15:59 23m 52s moyodiallo:install-dev-tools
moyodiallo:install-dev-tools
November 7, 2024 15:59 23m 52s
Explain how to override default entry point CI #28989: Pull request #11092 synchronize by benji-sb
November 7, 2024 15:57 Action required benji-sb:doc-custom-entrypoint
benji-sb:doc-custom-entrypoint
November 7, 2024 15:57 Action required
Explain how to override default entry point CI #28988: Pull request #11092 synchronize by benji-sb
November 7, 2024 15:32 18m 35s benji-sb:doc-custom-entrypoint
benji-sb:doc-custom-entrypoint
November 7, 2024 15:32 18m 35s
pkg: Install all the dev-tools that are available CI #28987: Pull request #11032 synchronize by moyodiallo
November 7, 2024 15:23 23m 17s moyodiallo:install-dev-tools
moyodiallo:install-dev-tools
November 7, 2024 15:23 23m 17s
Explain how to override default entry point CI #28986: Pull request #11092 synchronize by benji-sb
November 7, 2024 14:33 Action required benji-sb:doc-custom-entrypoint
benji-sb:doc-custom-entrypoint
November 7, 2024 14:33 Action required