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: :master
Conversation 0 Commits 1 Files Changed 1
-5
gk1623 commented 2024-11-14 03:26:25 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

Not sure why I added this, this isn't even something that has tests.

Wanna get that green tick at the end of task 3 :), so remove it.

Not sure why I added this, this isn't even something that has tests. Wanna get that green tick at the end of task 3 :), so remove it.
gk1623 (Migrated from gitlab.doc.ic.ac.uk) closed this pull request 2024-11-24 16:26:28 +00:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
cyclane (Gleb Koval)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/pintos_22#40