ci: Add internal CI

Author: paulsc96

.github/workflows/gitlab-ci.yml

@@ -0,0 +1,28 @@
+# Copyright (c) 2025 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+
+# Author: Paul Scheffler <[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/[email protected]
+        # Skip on forks or pull requests from forks due to missing secrets.
+        if: >
+          github.repository == 'pulp-platform/croc' &&
+          (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/croc
+          token: ${{ secrets.GITLAB_TOKEN }}
+          poll-count: 10800 # (10800/60=180min=3hours)

.gitignore

@@ -3,3 +3,4 @@ tmp
 xilinx/scripts/add_sources.artyz720.tcl
 xilinx/scripts/add_sources.genesys2.tcl
 xilinx/scripts/add_sources.zyboz720.tcl
+nonfree

.gitlab-ci.yml

@@ -0,0 +1,31 @@
+# Copyright (c) 2025 ETH Zurich and University of Bologna.
+# Licensed under the Apache License, Version 2.0, see LICENSE for details.
+# SPDX-License-Identifier: Apache-2.0
+#
+# Author: Paul Scheffler <[email protected]>
+
+# We initialize the nonfree repo, then spawn a sub-pipeline from it
+
+variables:
+  NONFREE_REMOTE: [email protected]:pulp-restricted/croc-nonfree.git
+  NONFREE_COMMIT: 0
+
+stages:
+  - nonfree
+
+init:
+  stage: nonfree
+  script:
+    - git clone ${NONFREE_REMOTE} nonfree
+    - cd nonfree & git checkout ${NONFREE_COMMIT}
+  artifacts:
+    paths: [ nonfree/ci.yml ]
+
+subpipe:
+  stage: nonfree
+  needs: [ init ]
+  trigger:
+    include:
+      - artifact: nonfree/ci.yml
+        job: init
+    strategy: depend