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

1 Commits

Author SHA1 Message Date
Gleb Koval
d51648d7dc GitLab CI & testing image 2024-10-10 17:34:33 +01:00