diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index b1296c4e49489a..4ab73287e60ad4 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -10,7 +10,7 @@ on: paths: - 'srcpkgs/**' - workflow_dispatch: + workflow_dispatch: concurrency: group: ${{ github.workflow }}-${{ github.ref }} diff --git a/Manual.md b/Manual.md index 34c737e6df427d..53a2cc8a1510fc 100644 --- a/Manual.md +++ b/Manual.md @@ -1250,7 +1250,7 @@ package accordingly. Additionally, the following functions are available: - *vopt_feature()* `vopt_feature