Workflow runs · tarides/dune-release · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

54 workflow runs

54 workflow runs

Allow to overwrite the dev-repo field when creating a GH tag/release PR number update #144: Pull request #494 opened by samoht

December 13, 2024 14:59

12s

December 13, 2024 14:59

12s

fix: use 'paste' instead of 'copy' Changelog check #164: Pull request #492 labeled by Leonidas-from-XIV

July 30, 2024 13:33

16s maxRN:copy-paste

maxRN:copy-paste

July 30, 2024 13:33

16s

fix: use 'paste' instead of 'copy' Changelog check #163: Pull request #492 opened by maxRN

July 30, 2024 13:26

15s maxRN:copy-paste

maxRN:copy-paste

July 30, 2024 13:26

15s

fix: use 'paste' instead of 'copy' PR number update #143: Pull request #492 opened by maxRN

July 30, 2024 13:26

15s

July 30, 2024 13:26

15s