add internal CI check

.github/workflows/internal.yml

@@ -0,0 +1,30 @@
+# Copyright 2024 ETH Zurich and University of Bologna.
+# Solderpad Hardware License, Version 0.51, see LICENSE for details.
+# SPDX-License-Identifier: SHL-0.51
+
+# Author: Michael Rogenmoser <[email protected]>
+
+name: internal
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+  workflow_dispatch:
+
+jobs:
+  gitlab-ci:
+    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/safety_island' &&
+          (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/safety_island
+          token: ${{ secrets.GITLAB_TOKEN }}

safed.mk

@@ -30,7 +30,7 @@ include $(SAFED_ROOT)/.deps
 ######################
 
 NONFREE_REMOTE ?= [email protected]:carfield/safety-island-nonfree.git
-NONFREE_COMMIT ?= 4ef4950629df2f683b11db14884d741281f69e48
+NONFREE_COMMIT ?= ea06e7dc80eb4d3cf592af41ef1e37789336ee3c
 
 .PHONY: nonfree-init
 ## Initialize Safety Island CI repository