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

Imperial-MEng:master

Imperial-MEng:vm/pagedir-spt-synch

Imperial-MEng:bad-synch

Imperial-MEng:vm/merged/pinning-synch

Imperial-MEng:vm/merged/themis-fix

Imperial-MEng:vm/merged/ethan-spt-synch

Imperial-MEng:vm/merged/themis

Imperial-MEng:vm/virtual-memory/saleh-synch

Imperial-MEng:vm/virtual-memory/themis-synch

Imperial-MEng:vm/shared-ro-executables/gleb

Imperial-MEng:vm/virtual-memory/frame-synch/saleh

Imperial-MEng:vm/mmap-write-back-on-eviction

Imperial-MEng:vm/virtual-memory/saleh

Imperial-MEng:vm/frame-pinning

Imperial-MEng:vm/shared-read-only-executables

Imperial-MEng:vm/page-swap-synch

Imperial-MEng:vm/stack-growth/saleh

Imperial-MEng:vm/memory-mapped-files

Imperial-MEng:vm/page-swap

Imperial-MEng:virtual-memory

Imperial-MEng:ethan-stack-growth

Imperial-MEng:vm/supplemental-page-table

Imperial-MEng:vm/lazy-loading

Imperial-MEng:vm/frame-table

Imperial-MEng:handle-unchecked-malloc-thread

Imperial-MEng:system-calls-fd-hashing

Imperial-MEng:task2/refactoring/saleh

Imperial-MEng:themis/userprog-multi-oom

Imperial-MEng:system-calls

Imperial-MEng:task2/system-calls/saleh

Imperial-MEng:userprog-syn-write

Imperial-MEng:rox-check-fix

Imperial-MEng:user-memory

Imperial-MEng:userprog-merge

Imperial-MEng:userprog-stack-init

Imperial-MEng:task1/themis/priority-scheduling

Imperial-MEng:ethan-BSD

Imperial-MEng:task1/saleh/priority-scheduling

Imperial-MEng:gleb/BSD

Imperial-MEng:task1/priority-scheduling

Conversation 0 Commits 1 Files Changed 1 -5

1 Commits

Author	SHA1	Message	Date
Gleb Koval	149b0a9d87	Remove filesys CI for gitlab	2024-11-14 03:25:33 +00:00