Skip to content

Communication Rework #80

Communication Rework

Communication Rework #80

Workflow file for this run

# Copyright 2025 ETH Zurich and University of Bologna.
# Licensed under the Apache License, Version 2.0, see LICENSE.APACHE for details.
# SPDX-License-Identifier: Apache-2.0
# Author: Alessandro Nadalini <[email protected]>
name: gitlab-Copyright
on:
push:
branches:
- main
pull_request:
pull_request_target:
workflow_dispatch:
permissions:
contents: read
jobs:
# Internal PRs and pushes: run directly with secrets available.
gitlab-ci-internal:
if: >
github.event_name != 'pull_request_target' &&
(
github.event_name != 'pull_request' ||
github.event.pull_request.head.repo.full_name == github.repository
)
runs-on: ubuntu-latest
steps:
- name: Check GitLab CI
uses: pulp-platform/pulp-actions/gitlab-ci@v1
with:
domain: iis-git.ee.ethz.ch
repo: github-mirror/magia
token: ${{ secrets.GITLAB_TOKEN }}
poll-count: 2160
# Fork PRs: require maintainer approval before secrets are exposed.
gitlab-ci-external:
if: >
github.event_name == 'pull_request_target' &&
github.event.pull_request.head.repo.full_name != github.repository
runs-on: ubuntu-latest
environment: external-prs
steps:
- name: Check GitLab CI
uses: pulp-platform/pulp-actions/gitlab-ci@v1
with:
domain: iis-git.ee.ethz.ch
repo: github-mirror/magia
token: ${{ secrets.GITLAB_TOKEN }}
poll-count: 2160