Skip to content

test: set cva6rt_hpdcache as default config #134

test: set cva6rt_hpdcache as default config

test: set cva6rt_hpdcache as default config #134

name: pulp-gitlab-ci
on: [ push, pull_request, workflow_dispatch ]
jobs:
pulp-gitlab-ci:
runs-on: ubuntu-latest
timeout-minutes: 60
# Skip on forks or pull requests from forks due to missing secrets.
if: github.repository == 'pulp-platform/cva6' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
steps:
- name: Check Gitlab CI
uses: pulp-platform/pulp-actions/gitlab-ci@v2.4.5
with:
domain: iis-git.ee.ethz.ch
repo: github-mirror/cva6
token: ${{ secrets.GITLAB_TOKEN }}
poll-period: 30