Skip to content

Actions: tarides/dune-release

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build
Build #3: by samoht
5m 52s 1.6.1
Use newer GH runners for checks
PR number update #171: Pull request #510 opened by Leonidas-from-XIV
1d 0h 0m 1s
Use opam libs instead of opam CLI to lint
PR number update #170: Pull request #509 opened by Leonidas-from-XIV
1d 0h 0m 1s
Build
Build #2: by samoht
7m 47s 1.6.0
refactor Cmdliner usage from $ to let+
PR number update #165: Pull request #503 synchronize by v-gb
11s
refactor Cmdliner usage from $ to let+
PR number update #164: Pull request #503 synchronize by v-gb
22s