Skip to content

Actions: semgrep/setup-ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: dune-cache on windows via vhdx Builds, tests & co #132: Pull request #33 synchronize by yosefAlsuhaibani
7m 11s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
7m 11s
fix(dune-cache): use hardlink mode on Windows by colocating _build Builds, tests & co #131: Commit 168cf3b pushed by yosefAlsuhaibani
7m 10s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
7m 10s
feat: dune-cache on windows via vhdx Builds, tests & co #130: Pull request #33 synchronize by yosefAlsuhaibani
14m 56s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
14m 56s
fix(dune-cache): exclude Windows cache volume from Defender Builds, tests & co #129: Commit f1190f9 pushed by yosefAlsuhaibani
7m 7s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
7m 7s
feat: dune-cache on windows via vhdx Builds, tests & co #128: Pull request #33 synchronize by yosefAlsuhaibani
6m 11s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
6m 11s
fix(dune-cache): mount Windows VHDX at a drive letter, not a folder Builds, tests & co #127: Commit 6acdb59 pushed by yosefAlsuhaibani
6m 28s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
6m 28s
fix(dune-cache): cap Windows VHDX at 4 GiB to avoid slow restore Builds, tests & co #126: Commit 7bb7189 pushed by yosefAlsuhaibani
6m 28s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
6m 28s
feat: dune-cache on windows via vhdx Builds, tests & co #125: Pull request #33 synchronize by yosefAlsuhaibani
6m 46s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
6m 46s
feat: dune-cache on windows via vhdx Builds, tests & co #124: Pull request #33 opened by yosefAlsuhaibani
7m 6s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
7m 6s
feat: dune-cache on windows via vhdx Builds, tests & co #123: Commit c4bd548 pushed by yosefAlsuhaibani
7m 44s yosef/dune-cache-by-vhdx
yosef/dune-cache-by-vhdx
7m 44s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #122: Pull request #32 synchronize by yosefAlsuhaibani
6m 46s yosef/dune-cache-agressive
yosef/dune-cache-agressive
6m 46s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #121: Commit 71842af pushed by yosefAlsuhaibani
6m 45s yosef/dune-cache-agressive
yosef/dune-cache-agressive
6m 45s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #120: Pull request #32 synchronize by yosefAlsuhaibani
16m 20s yosef/dune-cache-agressive
yosef/dune-cache-agressive
16m 20s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #119: Commit c6fa789 pushed by yosefAlsuhaibani
15m 30s yosef/dune-cache-agressive
yosef/dune-cache-agressive
15m 30s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #118: Pull request #32 synchronize by yosefAlsuhaibani
15m 37s yosef/dune-cache-agressive
yosef/dune-cache-agressive
15m 37s
chore: sync fork with upstream (conflicts resolved) (#31) Builds, tests & co #117: Commit 926350d pushed by yosefAlsuhaibani
16m 53s graphite-base/32
graphite-base/32
16m 53s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #116: Commit c62ae49 pushed by yosefAlsuhaibani
16m 46s yosef/dune-cache-agressive
yosef/dune-cache-agressive
16m 46s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #115: Pull request #32 synchronize by yosefAlsuhaibani
15m 14s yosef/dune-cache-agressive
yosef/dune-cache-agressive
15m 14s
Merge upstream/master into fork (sync for PR #30) Builds, tests & co #114: Commit eddd283 pushed by yosefAlsuhaibani
17m 41s graphite-base/32
graphite-base/32
17m 41s
chore: sync fork with upstream (conflicts resolved) (#31) Builds, tests & co #113: Commit 926350d pushed by yosefAlsuhaibani
14m 46s master
master
14m 46s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #112: Pull request #32 opened by yosefAlsuhaibani
6m 40s yosef/dune-cache-agressive
yosef/dune-cache-agressive
6m 40s
feat(dune-cache): export DUNE_CACHE=enabled + no size limit Builds, tests & co #111: Commit 4ea3203 pushed by yosefAlsuhaibani
16m 43s yosef/dune-cache-agressive
yosef/dune-cache-agressive
16m 43s
chore: sync fork with upstream (conflicts resolved) Builds, tests & co #110: Pull request #31 reopened by yosefAlsuhaibani
15m 13s yosef/sync-fork-3
yosef/sync-fork-3
15m 13s
chore: sync fork with upstream (conflicts resolved) Builds, tests & co #109: Pull request #31 opened by yosefAlsuhaibani
15m 53s yosef/sync-fork-3
yosef/sync-fork-3
15m 53s
Merge upstream/master into fork (sync for PR #30) Builds, tests & co #108: Commit eddd283 pushed by yosefAlsuhaibani
16m 57s yosef/sync-fork-3
yosef/sync-fork-3
16m 57s