diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 2642091e4..0dac915a7 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -6,11 +6,8 @@ name: Pages on: push: - branches: - - master - paths: - - "ci/**" - - ".github/workflows" + branches: [master] + paths: ["ci/**", ".github/workflows"] workflow_dispatch: workflow_run: workflows: ["Code coverage"] diff --git a/.github/workflows/reusable-rtlmeter-run.yml b/.github/workflows/reusable-rtlmeter-run.yml index b4cf573da..399dc6b8d 100644 --- a/.github/workflows/reusable-rtlmeter-run.yml +++ b/.github/workflows/reusable-rtlmeter-run.yml @@ -124,5 +124,5 @@ jobs: - name: Report status working-directory: rtlmeter - run: | # This will fail the job if any of the runs failed + run: |- # This will fail the job if any of the runs failed ./rtlmeter run --verbose --cases='${{inputs.cases}}' --compileArgs='${{inputs.compileArgs}}' --executeArgs='${{inputs.executeArgs}}'