Migrate CI to Github Actions

.github/workflows/main.yml

@@ -0,0 +1,38 @@
+name: OCCLUM CI
+
+# Controls when the action will run. Triggers the workflow on push or pull request
+on: [push, pull_request]
+
+jobs:
+  make-test-on-ubuntu:
+    # The type of runner that the job will run on
+    runs-on: ubuntu-18.04
+    container: occlum/occlum:0.14.0-ubuntu18.04
+
+    # Below steps are running directly in docker container
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+
+    - name: Set Toolchains
+      run: rustup default $OCCLUM_RUST_VERSION
+
+    - name: Check Format
+      run: |
+        info=$(make format-check)
+        if [ -n "$info" ]; then
+          echo "Format error detected.";
+          exit 1;
+        fi
+
+    - name: Build Dependencies
+      run:  make submodule
+
+    - name: Build Source
+      run: |
+        OCCLUM_RELEASE_BUILD=y SGX_MODE=SIM make
+
+    - name: Integration Test
+      run: |
+        SGX_MODE=SIM make test

.travis.yml

@@ -1,11 +0,0 @@
-os: linux
-dist: bionic
-sudo: true
-
-services:
-  - docker
-
-script:
-- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.14.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
-                info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
-                make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'

README.md

@@ -1,7 +1,7 @@
 ![Occlum logo](docs/images/logo.png)
 ## <!-- render a nicely looking grey line to separate the logo from the content  -->
 [![All Contributors](https://img.shields.io/badge/all_contributors-7-orange.svg?style=flat-square)](CONTRIBUTORS.md)
-[![Build Status](https://travis-ci.com/occlum/occlum.svg?branch=master)](https://travis-ci.com/occlum/occlum)
+[![Build Status](https://github.com/occlum/occlum/workflows/OCCLUM%20CI/badge.svg?branch=master)](https://github.com/occlum/occlum/actions)
 
 **NEWS:** Our paper _Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX_ has been accepted by [ASPLOS'20](https://asplos-conference.org/programs/). This research paper highlights the advantages of the single-address-space architecture adopted by Occlum and describes a novel in-enclave isolation mechanism that complements this approach. The paper can be found on [ACM Digital Library](https://dl.acm.org/doi/abs/10.1145/3373376.3378469) and [Arxiv](https://arxiv.org/abs/2001.07450).