Skip to content

Switching to Write-Back cache mechanism. #68

Switching to Write-Back cache mechanism.

Switching to Write-Back cache mechanism. #68

Workflow file for this run

# Copyright 2023 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0
# Based on https://github.com/pulp-platform/pulp-actions/tree/main/gitlab-ci#action-usage
# Author: Nils Wistoff <[email protected]>
name: gitlab-ci
on: [ push, pull_request, workflow_dispatch ]
jobs:
gitlab-ci:
runs-on: ubuntu-latest
timeout-minutes: 5
# 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
with:
domain: iis-git.ee.ethz.ch
repo: github-mirror/cva6
token: ${{ secrets.GITLAB_TOKEN }}
poll-period: 10