diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000..d5b3b5c --- /dev/null +++ b/.travis.yml @@ -0,0 +1,12 @@ +sudo: required + +language: c + +services: + - docker + +before_install: + - docker pull hangpark/pintos-dev-env-kaist + +script: + - docker run -v $TRAVIS_BUILD_DIR:/pintos hangpark/pintos-dev-env-kaist /bin/bash -c "export PATH=$PATH:/pintos/src/utils && cd /pintos/src/$TARGET_DIRECTORY && make grade" > temp && rm temp && cat src/$TARGET_DIRECTORY/build/grade diff --git a/README.md b/README.md index 1495767..44ce32e 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # PintOS Project of CS330 in KAIST +[![Build Status](https://travis-ci.com/hangpark/pintos.svg?token=gQa4om5Q1o59ZGsZT1Tf&branch=develop)](https://travis-ci.com/hangpark/pintos) + Repository for PintOS implementation project of CS330 in KAIST. To contribute, read [CONTRIBUTING.md](CONTRIBUTING.md).