Skip to content

Actions: tarides/dune-release

Actions

PR number update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a CLI flag for prerelease
PR number update #185: Pull request #517 synchronize by Sudha247
12s
Add a CLI flag for prerelease
PR number update #184: Pull request #517 synchronize by Sudha247
12s
Add a CLI flag for prerelease
PR number update #183: Pull request #517 synchronize by Sudha247
13s
Add a CLI flag for prerelease
PR number update #182: Pull request #517 synchronize by Sudha247
13s
Add a CLI flag for prerelease
PR number update #181: Pull request #517 synchronize by Sudha247
9s
Add a CLI flag for prerelease
PR number update #180: Pull request #517 opened by Sudha247
9s
Compatibility for cmdliner 2.0.0
PR number update #177: Pull request #512 synchronize by psafont
11s
Compatibility for cmdliner 2.0.0
PR number update #176: Pull request #512 synchronize by psafont
12s
Compatibility for cmdliner 2.0.0
PR number update #175: Pull request #512 synchronize by psafont
12s
Compatibility for cmdliner 2.0.0
PR number update #174: Pull request #512 synchronize by psafont
10s
Compatibility for cmdliner 2.0.0
PR number update #173: Pull request #512 synchronize by psafont
9s
Compatibility for cmdliner 2.0.0
PR number update #172: Pull request #512 opened by psafont
13s
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
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