Showing
- grading-gitlab-ci.yml 10 additions, 31 deletionsgrading-gitlab-ci.yml
- labs/example-lab.md 0 additions, 299 deletionslabs/example-lab.md
- labs/grading-and-submission.md 0 additions, 106 deletionslabs/grading-and-submission.md
- labs/images/bloop-update.png 0 additions, 0 deletionslabs/images/bloop-update.png
- labs/images/clone-url.png 0 additions, 0 deletionslabs/images/clone-url.png
- labs/images/gitlab-public-ssh-key.png 0 additions, 0 deletionslabs/images/gitlab-public-ssh-key.png
- labs/images/gitlab-settings.png 0 additions, 0 deletionslabs/images/gitlab-settings.png
- labs/images/hover.png 0 additions, 0 deletionslabs/images/hover.png
- labs/images/import-build.png 0 additions, 0 deletionslabs/images/import-build.png
- labs/images/menu-metals.png 0 additions, 0 deletionslabs/images/menu-metals.png
- labs/images/metals-import.png 0 additions, 0 deletionslabs/images/metals-import.png
- labs/images/open-test.png 0 additions, 0 deletionslabs/images/open-test.png
- labs/images/pipeline-details.png 0 additions, 0 deletionslabs/images/pipeline-details.png
- labs/images/pipeline-logs.png 0 additions, 0 deletionslabs/images/pipeline-logs.png
- labs/images/pipeline-tab.png 0 additions, 0 deletionslabs/images/pipeline-tab.png
- labs/images/sbt-test-error.png 0 additions, 0 deletionslabs/images/sbt-test-error.png
- labs/images/sum-def.png 0 additions, 0 deletionslabs/images/sum-def.png
- labs/images/syntax-error-bug.png 0 additions, 0 deletionslabs/images/syntax-error-bug.png
- labs/images/test-source.png 0 additions, 0 deletionslabs/images/test-source.png
- labs/images/warnings-errors.png 0 additions, 0 deletionslabs/images/warnings-errors.png
labs/example-lab.md
deleted
100644 → 0
labs/grading-and-submission.md
deleted
100644 → 0
labs/images/bloop-update.png
deleted
100644 → 0
18.1 KiB
labs/images/clone-url.png
deleted
100644 → 0
41.8 KiB
111 KiB
labs/images/gitlab-settings.png
deleted
100644 → 0
24.8 KiB
labs/images/hover.png
deleted
100644 → 0
163 KiB
labs/images/import-build.png
deleted
100644 → 0
35.3 KiB
labs/images/menu-metals.png
deleted
100644 → 0
54.6 KiB
labs/images/metals-import.png
deleted
100644 → 0
30.4 KiB
labs/images/open-test.png
deleted
100644 → 0
17.6 KiB
labs/images/pipeline-details.png
deleted
100644 → 0
47.1 KiB
labs/images/pipeline-logs.png
deleted
100644 → 0
157 KiB
labs/images/pipeline-tab.png
deleted
100644 → 0
48.9 KiB
labs/images/sbt-test-error.png
deleted
100644 → 0
44.4 KiB
labs/images/sum-def.png
deleted
100644 → 0
6.75 KiB
labs/images/syntax-error-bug.png
deleted
100644 → 0
47.3 KiB
labs/images/test-source.png
deleted
100644 → 0
19 KiB
labs/images/warnings-errors.png
deleted
100644 → 0
1.8 KiB