Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove filesys CI #40

Closed
gk1623 wants to merge 1 commits from remove-filesys-ci into master
pull from: remove-filesys-ci
merge into: Imperial-MEng:master
Conversation 0 Commits 1 Files Changed 1 -5
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 149b0a9d87 - Show all commits

5
.gitlab-ci.yml
View File

@@ -23,11 +23,6 @@ test_devices:
variables:
DIR: devices
test_filesys:
extends: .pintos_tests
variables:
DIR: filesys
test_threads:
extends: .pintos_tests
variables: