Use docker in CI; Don't echo random number if pipe is closed

rellermeyer / course_os

CS 439 course OS

BSD 3-Clause "New" or "Revised" License

38 stars 26 forks source link

Closed fayalalebrun closed 3 years ago

fayalalebrun commented 3 years ago

Fixes CI errors.

jdonszelmann commented 3 years ago

You should be able to merge your own PR now!

ValentijnvdBeek commented 3 years ago

Pulled the commit and it works fine