Skip to content

hw: Replace $display with $info #2484

hw: Replace $display with $info

hw: Replace $display with $info #2484

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
# Some CI tests run on our GitLab servers due to licenses and tools
name: gitlab-ci
on: [push, pull_request, workflow_dispatch]
jobs:
gitlab-ci:
name: Internal Gitlab CI
runs-on: ubuntu-22.04
steps:
- name: Check Gitlab CI
uses: pulp-platform/pulp-actions/[email protected]
# Skip on forks or pull requests from forks due to missing secrets.
if: >
github.repository == 'pulp-platform/snitch_cluster' &&
(github.event_name != 'pull_request' ||
github.event.pull_request.head.repo.full_name == github.repository)
with:
domain: iis-git.ee.ethz.ch
repo: github-mirror/snitch_cluster
token: ${{ secrets.GITLAB_TOKEN }}
poll-period: 20
poll-count: 1000
retry-count: 100
retry-period: 50