add gitlab-ci

gitlab-ci.yml

+image: registry.mpi-sws.org/antoinek/pintos-devcontainer
+
+build-p1:
+  tags:
+    - os24-course
+  stage: build
+  script:
+    - make -j`nproc` -C src/threads all
+    - make -j`nproc` -C src/threads check
+  artifacts:
+    paths:
+      - src/threads/build/grade
+      - src/threads/build/tests/threads/*.output
+      - src/threads/build/tests/threads/*.errors
+      - src/threads/build/tests/threads/*.result
+  rules:
+    - if: $CI_COMMIT_BRANCH =~ /^p1.*/
+
+build-p2:
+  tags:
+    - os24-course
+  stage: build
+  script:
+    - make -j`nproc` -C src/userprog all
+    - make -j`nproc` -C src/userprog check
+  artifacts:
+    paths:
+      - src/userprog/build/grade
+      - src/userprog/build/tests/userprog/*.output
+      - src/userprog/build/tests/userprog/*.errors
+      - src/userprog/build/tests/userprog/*.result
+  rules:
+    - if: $CI_COMMIT_BRANCH =~ /^p2.*/
+
+build-p3:
+  tags:
+    - os24-course
+  stage: build
+  script:
+    - make -j`nproc` -C src/vm all
+    - make -j`nproc` -C src/vm check
+  artifacts:
+    paths:
+      - src/vm/build/grade
+      - src/vm/build/tests/vm/*.output
+      - src/vm/build/tests/vm/*.errors
+      - src/vm/build/tests/vm/*.result
+  rules:
+    - if: $CI_COMMIT_BRANCH =~ /^p3.*/
+
+build-p4:
+  tags:
+    - os24-course
+  stage: build
+  script:
+    - make -j`nproc` -C src/fs all
+    - make -j`nproc` -C src/fs check
+  artifacts:
+    paths:
+      - src/fs/build/grade
+      - src/fs/build/tests/fs/*.output
+      - src/fs/build/tests/fs/*.errors
+      - src/fs/build/tests/fs/*.result
+  rules:
+    - if: $CI_COMMIT_BRANCH =~ /^p4.*/