Merge pull request #2565 from silabs-robin/rvfi_instr_if_clicptr #762
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ############################################################################### | |
| # | |
| # Copyright 2020 OpenHW Group | |
| # | |
| # Licensed under the Solderpad Hardware Licence, Version 2.0 (the "License"); | |
| # you may not use this file except in compliance with the License. | |
| # You may obtain a copy of the License at | |
| # | |
| # https://solderpad.org/licenses/ | |
| # | |
| # Unless required by applicable law or agreed to in writing, software | |
| # distributed under the License is distributed on an "AS IS" BASIS, | |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| # See the License for the specific language governing permissions and | |
| # limitations under the License. | |
| # | |
| # SPDX-License-Identifier: Apache-2.0 WITH SHL-2.0 | |
| # | |
| ############################################################################### | |
| # This is a basic workflow to get core-v-verif started with GitHub Actions. | |
| # It initiates a regression on the Metrics platform and waits for the result | |
| # of the regression. If all tests pass, the action succeeds. | |
| # In the near future this will be expanded to support multiple development | |
| # branches, each with its own pull and/or pull-request regression. | |
| # | |
| # Stolen, without the slightest hint of shame, from Aimee Sutton. | |
| name: triggered-metrics-regress | |
| # Controls when the action will run. Triggers the workflow on push or pull request | |
| # events but only for the master branch | |
| on: | |
| push: | |
| branches: | |
| - master | |
| - cv32e40p/dev | |
| - cv32e40p/release | |
| - cv32e40x/dev | |
| - cv32e40x/release | |
| - cv32e40s/dev | |
| - cv32e40s/release | |
| # pull_request_target: | |
| # branches: [ master ] | |
| # If you fork this repository, you must create a new Metrics project for your fork | |
| # and set the environment variable $METRICS_PROJECT_ID accordingly | |
| jobs: | |
| # --------------------------------------------------------------------------- | |
| # CV32E40P CI Actions | |
| # --------------------------------------------------------------------------- | |
| cv32e40p_rel_check_master-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/master' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40p_rel_check_master | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40p_ci_check_dev-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40p/dev' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40p/dev | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40p_ci_check_dev | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40p_rel_check_release-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40p/release' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40p/release | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40p_rel_check_release | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| # --------------------------------------------------------------------------- | |
| # CV32E40X CI Actions | |
| # --------------------------------------------------------------------------- | |
| cv32e40x_rel_check_master-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/master' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40x_rel_check_master | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40x_ci_check_dev-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40x/dev' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40x/dev | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40x_ci_check_dev | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40x_rel_check_release-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40x/release' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40x/release | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40x_rel_check_release | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| # --------------------------------------------------------------------------- | |
| # CV32E40S CI Actions | |
| # --------------------------------------------------------------------------- | |
| cv32e40s_rel_check_master-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/master' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40s_rel_check_master | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40s_ci_check_dev-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40s/dev' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40s/dev | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40s_ci_check_dev | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash | |
| cv32e40s_rel_check_release-metrics: | |
| runs-on: ubuntu-latest | |
| if: github.ref == 'refs/heads/cv32e40s/release' | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| ref: cv32e40s/release | |
| - run: ./bin/metrics-regress $METRICS_REGRESSION_NAME $METRICS_PROJECT_ID | |
| env: | |
| METRICS_CI_TOKEN: ${{ secrets.METRICS_CI_TOKEN }} | |
| METRICS_REGRESSION_NAME: cv32e40s_rel_check_release | |
| METRICS_PROJECT_ID: ${{ secrets.METRICS_PROJECT_ID }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| shell: bash |