Skip to content

Update CI

Update CI #9

Workflow file for this run

# Copyright 2024 ETH Zurich and University of Bologna.
# Solderpad Hardware License, Version 0.51, see LICENSE for details.
# SPDX-License-Identifier: SHL-0.51
# 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/pulpissimo' && (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/pulpissimo
token: ${{ secrets.GITLAB_TOKEN }}
poll-period: 20
poll-count: 1000
retry-count: 100
retry-period: 50