snitch

# Copyright 2020 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

# Derived from https://github.com/pulp-platform/axi

# Some CI test run on our GitLab servers due to licenses and tools
name: gitlab-ci
on: [push, pull_request, workflow_dispatch]
jobs:
  gitlab-ci:
    runs-on: ubuntu-22.04
    steps:
      - name: Check Gitlab CI
        uses: pulp-platform/pulp-actions/gitlab-ci@v1
        with:
          domain: iis-git.ee.ethz.ch
          repo: github-mirror/snitch
          token: ${{ secrets.GITLAB_TOKEN }}
          poll-period: 20
          poll-count: 1000
          retry-count: 100
          retry-period: 50