From a2ac5c38403564d5f1051b2facf0eda2ef1c16f7 Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Fri, 15 Mar 2019 21:09:59 +0200
Subject: [PATCH 1/6] add CI

---
 .circleci/config.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 .circleci/config.yml

diff --git a/.circleci/config.yml b/.circleci/config.yml
new file mode 100644
index 000000000..52ff69721
--- /dev/null
+++ b/.circleci/config.yml
@@ -0,0 +1,21 @@
+version: 2
+jobs:
+  build:
+    docker:
+    - image: circleci/buildpack-deps
+    steps:
+    - checkout
+    - run:
+        name: dep
+        command: sudo apt-get install -y tcl
+    - run:
+        name: Build
+        command: make
+    - run:
+        name: Test
+        command: make test
+workflows:
+  version: 2
+  workflow:
+    jobs:
+    - build

From 3c05bc561d62a48ed0e11d30a4c393f0cc309951 Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Fri, 15 Mar 2019 21:14:15 +0200
Subject: [PATCH 2/6] add pull app

---
 .github/pull.yml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 .github/pull.yml

diff --git a/.github/pull.yml b/.github/pull.yml
new file mode 100644
index 000000000..4cc55b0f5
--- /dev/null
+++ b/.github/pull.yml
@@ -0,0 +1,5 @@
+version: "1"
+rules:
+  - base: unstable 
+    upstream: antirez:unstable
+    mergeMethod: merge

From c2b7f14c567a380982f7298e7da9f636042b8716 Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Fri, 15 Mar 2019 21:30:09 +0200
Subject: [PATCH 3/6] Update config.yml

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 52ff69721..445031a35 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -6,7 +6,7 @@ jobs:
     steps:
     - checkout
     - run:
-        name: dep
+        name: Install dependency 
         command: sudo apt-get install -y tcl
     - run:
         name: Build

From 656cd1a00ae7fdf1dc76707842a22b1192cd022f Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Fri, 15 Mar 2019 21:35:24 +0200
Subject: [PATCH 4/6] Update pull.yml

---
 .github/pull.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/pull.yml b/.github/pull.yml
index 4cc55b0f5..6ccf19ca9 100644
--- a/.github/pull.yml
+++ b/.github/pull.yml
@@ -3,3 +3,12 @@ rules:
   - base: unstable 
     upstream: antirez:unstable
     mergeMethod: merge
+  - base: 5.0 
+    upstream: antirez:5.0
+    mergeMethod: merge    
+  - base: 4.0 
+    upstream: antirez:4.0
+    mergeMethod: merge    
+  - base: 3.2 
+    upstream: antirez:3.2
+    mergeMethod: merge    

From c1455dc06025259dc662144f3ca668d88789f9c0 Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Fri, 15 Mar 2019 22:22:06 +0200
Subject: [PATCH 5/6] Update config.yml

---
 .circleci/config.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 445031a35..fe2a6ea07 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -14,8 +14,3 @@ jobs:
     - run:
         name: Test
         command: make test
-workflows:
-  version: 2
-  workflow:
-    jobs:
-    - build

From 0381f14accb4dda6372a3bce34aafbc7e38baa0c Mon Sep 17 00:00:00 2001
From: Guy Korland <gkorland@gmail.com>
Date: Sun, 20 Oct 2019 10:04:25 +0300
Subject: [PATCH 6/6] add CI action

---
 .circleci/config.yml     | 16 ----------------
 .github/pull.yml         | 14 --------------
 .github/workflows/ci.yml | 28 ++++++++++++++++++++++++++++
 3 files changed, 28 insertions(+), 30 deletions(-)
 delete mode 100644 .circleci/config.yml
 delete mode 100644 .github/pull.yml
 create mode 100644 .github/workflows/ci.yml

diff --git a/.circleci/config.yml b/.circleci/config.yml
deleted file mode 100644
index fe2a6ea07..000000000
--- a/.circleci/config.yml
+++ /dev/null
@@ -1,16 +0,0 @@
-version: 2
-jobs:
-  build:
-    docker:
-    - image: circleci/buildpack-deps
-    steps:
-    - checkout
-    - run:
-        name: Install dependency 
-        command: sudo apt-get install -y tcl
-    - run:
-        name: Build
-        command: make
-    - run:
-        name: Test
-        command: make test
diff --git a/.github/pull.yml b/.github/pull.yml
deleted file mode 100644
index 6ccf19ca9..000000000
--- a/.github/pull.yml
+++ /dev/null
@@ -1,14 +0,0 @@
-version: "1"
-rules:
-  - base: unstable 
-    upstream: antirez:unstable
-    mergeMethod: merge
-  - base: 5.0 
-    upstream: antirez:5.0
-    mergeMethod: merge    
-  - base: 4.0 
-    upstream: antirez:4.0
-    mergeMethod: merge    
-  - base: 3.2 
-    upstream: antirez:3.2
-    mergeMethod: merge    
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 000000000..847abcf02
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,28 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  build-ubuntu:
+    strategy:
+      matrix:
+        platform: [ubuntu-latest, ubuntu-16.04]
+    runs-on: ${{ matrix.platform }}
+    steps:
+    - uses: actions/checkout@v1
+    - name: make
+      run: make
+    - name: test
+      run: |
+        sudo apt-get install tcl8.5
+        make test
+
+  build-macos-latest:
+    strategy:
+      matrix:
+        platform: [macos-latest, macOS-10.14]
+    runs-on: ${{ matrix.platform }}
+    steps:
+    - uses: actions/checkout@v1
+    - name: make
+      run: make