Add mirror

.github/workflows/docs.yml

@@ -2,7 +2,9 @@
 # Licensed under the Apache License, Version 2.0, see LICENSE for details.
 # SPDX-License-Identifier: Apache-2.0
 
-# Author: Paul Scheffler <[email protected]>
+# Authors:
+# - Paul Scheffler <[email protected]>
+# - Thomas Benz <[email protected]>
 
 name: docs
 

.github/workflows/gitlab-ci.yml

@@ -0,0 +1,30 @@
+# 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
+
+# Authors:
+# - Paul Scheffler <[email protected]>
+# - Thomas Benz <[email protected]>
+
+name: gitlab-ci
+
+on: [ push, pull_request, workflow_dispatch ]
+
+jobs:
+
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      -
+        name: Mirror and check
+        uses: pulp-platform/pulp-actions/gitlab-ci@v2
+        # Skip on forks or pull requests from forks due to missing secrets.
+        if: >
+          github.repository == 'pulp-platform/cheshire' &&
+          (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/idma
+          token: ${{ secrets.GITLAB_TOKEN }}
+          poll-count: 10800 # (10800/60=180min=3hours)