ci: Fix Github workflows

.github/workflows/pipeline.yaml

@@ -1,24 +1,37 @@
 name: rdf-protect
 
-on: [push]
+on:
+  push:
+    branches:
+      - main
+      - "feat/*"
+      - "fix/*"
+
+  pull_request:
+    branches:
+      - main
 
 jobs:
-  trigger-gitlab:
+  format:
+    runs-on: ubuntu-latest
+    container:
+      image: ghcr.io/sdsc-ordes/rdf-protect:ci-format-1.0.0
+    steps:
+      - source .gitlab/scripts/before-script.sh &&
+        just nix-develop-ci just format
+
+  lint:
     runs-on: ubuntu-latest
-    environment: "CI Gitlab"
+    container:
+      image: ghcr.io/sdsc-ordes/rdf-protect:ci-lint-1.0.0
     steps:
-      - name: Checkout
-        uses: actions/checkout@v4
+      - source .gitlab/scripts/before-script.sh &&
+        just nix-develop-ci just lint
 
-      - name: Mirror + Trigger CI
-        uses: SvanBoxel/gitlab-mirror-and-ci-action@master
-        with:
-          args: "https://gitlab.datascience.ch/gabriel.nuetzi/rdf-protect"
-        env:
-          FOLLOW_TAGS: "true"
-          FORCE_PUSH: "true"
-          GITLAB_HOSTNAME: "gitlab.datascience.ch"
-          GITLAB_USERNAME: ${{ secrets.GITLAB_USERNAME }}
-          GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
-          GITLAB_PROJECT_ID: "454"
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+  build:
+    runs-on: ubuntu-latest
+    container:
+      image: ghcr.io/sdsc-ordes/rdf-protect:ci-build-1.0.0
+    steps:
+      - source .gitlab/scripts/before-script.sh &&
+        just nix-develop-ci just lint

.github/workflows/trigger-gitlab.yaml

@@ -0,0 +1,24 @@
+name: rdf-protect
+
+on: [push]
+
+jobs:
+  trigger-gitlab:
+    runs-on: ubuntu-latest
+    environment: "CI Gitlab"
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Mirror + Trigger CI
+        uses: SvanBoxel/gitlab-mirror-and-ci-action@master
+        with:
+          args: "https://gitlab.datascience.ch/gabriel.nuetzi/rdf-protect"
+        env:
+          FOLLOW_TAGS: "true"
+          FORCE_PUSH: "true"
+          GITLAB_HOSTNAME: "gitlab.datascience.ch"
+          GITLAB_USERNAME: ${{ secrets.GITLAB_USERNAME }}
+          GITLAB_PASSWORD: ${{ secrets.GITLAB_PASSWORD }}
+          GITLAB_PROJECT_ID: "454"
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.gitlab/pipeline.yaml

@@ -12,26 +12,26 @@ stages:
   - if: "$CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH"
     when: always
 
-lint:
-  stage: lint
+format:
+  stage: format
   needs: []
-  image: ghcr.io/sdsc-ordes/rdf-protect:ci-lint-1.0.0
+  image: ghcr.io/sdsc-order/rdf-protect:ci-format-1.0.0
   rules:
     - *defaults-rules
   script:
     - source .gitlab/scripts/before-script.sh
-    - nix develop .#ci --command just lint
+    - just nix-develop-ci just format-general
+    - just nix-develop-ci just format
 
-format:
-  stage: format
+lint:
+  stage: lint
   needs: []
-  image: ghcr.io/sdsc-order/rdf-protect:ci-format-1.0.0
+  image: ghcr.io/sdsc-ordes/rdf-protect:ci-lint-1.0.0
   rules:
     - *defaults-rules
   script:
     - source .gitlab/scripts/before-script.sh
-    - nix develop .#ci --command just format-general
-    - nix develop .#ci --command just format
+    - just nix-develop-ci just lint
 
 build:
   stage: build
@@ -41,4 +41,4 @@ build:
     - *defaults-rules
   script:
     - source .gitlab/scripts/before-script.sh
-    - nix develop .#ci --command just build
+    - just nix-develop-ci just build

.gitlab/scripts/before-script.sh

@@ -6,6 +6,6 @@ set -u
 ROOT_DIR=$(git rev-parse --show-toplevel)
 . "$ROOT_DIR/tools/general.sh"
 
-ci_container_mgr_setup
+# ci_container_mgr_setup
 
 unset ROOT_DIR

justfile

@@ -11,6 +11,7 @@ container_mgr := "podman"
 nix-develop shell="zsh":
     cd "{{root_dir}}" && nix develop ./tools/nix#default --command zsh
 
+
 # Build the executable.
 build *args:
     cd "{{root_dir}}" && cargo build "${@:1}"
@@ -23,18 +24,26 @@ watch:
 run:
     cd "{{root_dir}}" && cargo run "${@:1}"
 
-format-general *args:
-    # Not implemented yet.
-    true
-
+# Format the code.
 format *args:
     cd "{{comp_dir}}" && \
         "{{root_dir}}/tools/format-rust.sh" {{args}}
 
+# Format all files other files.
+format-general *args:
+    # Not implemented yet.
+    true
+
+# Lint all code.
 lint *args:
     cd "{{comp_dir}}" && \
         "{{root_dir}}/tools/lint-rust.sh" {{args}}
 
+# Upload all images for CI.
 upload-ci-images:
     cd "{{root_dir}}" && \
         .gitlab/scripts/upload-images.sh
+
+# Enter a Nix development shell for CI.
+nix-develop-ci:
+    cd "{{root_dir}}" && nix develop ./tools/nix#default --command "$@"