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

GitLab CI & testing image #2

Merged
gk1623 merged 1 commits from gitlab-ci into master 2024-10-17 17:30:42 +00:00
Conversation 2 Commits 1 Files Changed 2
+47
gk1623 commented 2024-10-10 16:42:13 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

Setup all the tests to run in GitLab CI, which may or may not be easier/faster than LabTS. Doesn't harm having it though.

Setup all the tests to run in GitLab CI, which may or may not be easier/faster than LabTS. Doesn't harm having it though.
gk1623 commented 2024-10-11 13:28:27 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

Side note: I've setup a runner on my own server, because the Imperial ones are painfully slow lately.

Side note: I've setup a runner on my own server, because the Imperial ones are painfully slow lately.
gk1623 commented 2024-10-17 17:30:42 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
Copy Source

mentioned in commit 62cca87322

mentioned in commit 62cca873226983875398565fda964cc6a7a736d4
gk1623 (Migrated from gitlab.doc.ic.ac.uk) merged commit 62cca87322 into master 2024-10-17 17:30:42 +00:00
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#2