Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,618 workflow runs
12,618 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #30006: Manually run by emillon
February 12, 2025 16:07 19m 19s nix-doc
nix-doc
February 12, 2025 16:07 19m 19s
Adapt JSOO rules for new --effects= option CI #30005: Pull request #11222 synchronize by OlivierNicole
February 12, 2025 16:07 15m 49s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
February 12, 2025 16:07 15m 49s
CI CI #30004: Manually run by emillon
February 12, 2025 16:06 1m 21s nix-doc
nix-doc
February 12, 2025 16:06 1m 21s
Adapt JSOO rules for new --effects= option CI #30003: Pull request #11222 synchronize by OlivierNicole
February 12, 2025 16:06 1m 38s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
February 12, 2025 16:06 1m 38s
CI CI #30002: Manually run by emillon
February 12, 2025 16:03 3m 2s nix-doc
nix-doc
February 12, 2025 16:03 3m 2s
CI CI #30001: Manually run by emillon
February 12, 2025 15:55 8m 3s nix-doc
nix-doc
February 12, 2025 15:55 8m 3s
CI CI #30000: Manually run by emillon
February 12, 2025 15:48 7m 31s nix-doc
nix-doc
February 12, 2025 15:48 7m 31s
fix: support package pinning via http+tar CI #29999: Pull request #11446 synchronize by maiste
February 12, 2025 15:40 23m 0s maiste:fix/pinning-10121-bis
maiste:fix/pinning-10121-bis
February 12, 2025 15:40 23m 0s
CI CI #29998: Manually run by emillon
February 12, 2025 15:35 12m 35s nix-doc
nix-doc
February 12, 2025 15:35 12m 35s
CI CI #29997: Manually run by emillon
February 12, 2025 14:59 13m 58s nix-doc
nix-doc
February 12, 2025 14:59 13m 58s
CI CI #29996: Manually run by emillon
February 12, 2025 14:53 5m 14s nix-doc
nix-doc
February 12, 2025 14:53 5m 14s
CI CI #29995: Manually run by emillon
February 12, 2025 14:47 6m 24s nix-doc
nix-doc
February 12, 2025 14:47 6m 24s
Adapt JSOO rules for new --effects= option CI #29994: Pull request #11222 synchronize by OlivierNicole
February 11, 2025 16:29 22m 0s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
February 11, 2025 16:29 22m 0s
Adapt JSOO rules for new --effects= option CI #29993: Pull request #11222 synchronize by OlivierNicole
February 11, 2025 16:28 41s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
February 11, 2025 16:28 41s
fix: support package pinning via http+tar CI #29992: Pull request #11446 synchronize by maiste
February 11, 2025 14:21 17m 2s maiste:fix/pinning-10121-bis
maiste:fix/pinning-10121-bis
February 11, 2025 14:21 17m 2s
chore: bump dune version to 3.18 CI #29991: Pull request #11478 synchronize by maiste
February 11, 2025 14:13 13m 57s maiste:chore/bump-dune-version
maiste:chore/bump-dune-version
February 11, 2025 14:13 13m 57s
chore: bump dune version to 3.18 CI #29990: Pull request #11478 opened by maiste
February 11, 2025 14:12 46s maiste:chore/bump-dune-version
maiste:chore/bump-dune-version
February 11, 2025 14:12 46s
feat: introduce env_vars alias for env-vars CI #29989: Pull request #11442 synchronize by maiste
February 11, 2025 13:21 27m 47s maiste:fix/11424-consistency
maiste:fix/11424-consistency
February 11, 2025 13:21 27m 47s
fix: support package pinning via http+tar CI #29988: Pull request #11446 synchronize by maiste
February 11, 2025 13:19 15m 32s maiste:fix/pinning-10121-bis
maiste:fix/pinning-10121-bis
February 11, 2025 13:19 15m 32s
pages build and deployment pages-build-deployment #10379: by github-pages bot
February 11, 2025 10:34 41s gh-pages
gh-pages
February 11, 2025 10:34 41s
pages build and deployment pages-build-deployment #10378: by github-pages bot
February 11, 2025 10:34 11s gh-pages
gh-pages
February 11, 2025 10:34 11s
pages build and deployment pages-build-deployment #10377: by github-pages bot
February 11, 2025 10:33 35s gh-pages
gh-pages
February 11, 2025 10:33 35s
pages build and deployment pages-build-deployment #10376: by github-pages bot
February 11, 2025 10:33 10s gh-pages
gh-pages
February 11, 2025 10:33 10s
pages build and deployment pages-build-deployment #10375: by github-pages bot
February 11, 2025 10:33 11s gh-pages
gh-pages
February 11, 2025 10:33 11s
pages build and deployment pages-build-deployment #10374: by github-pages bot
February 11, 2025 10:33 13s gh-pages
gh-pages
February 11, 2025 10:33 13s