ci: split ci into two files, for push or pr (#5)

Author: mpizenberg

.github/workflows/pull-request.yml

@@ -0,0 +1,31 @@
+name: Pull Request Check
+
+on:
+  pull_request:
+    branches: [ dev ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Cache
+      uses: actions/cache@v2
+      with:
+        path: |
+            ./target
+            ~/.cargo
+        key: ${{ runner.os }}-${{ hashFiles('Cargo.toml') }}
+        restore-keys: ${{ runner.os }}
+
+    - name: Build
+      run: cargo build --verbose
+
+    - name: Run tests
+      run: cargo test --verbose

.github/workflows/main.yml renamed to .github/workflows/push.yml

@@ -1,10 +1,8 @@
-name: Rust
+name: Build code, run tests and deploy doc
 
 on:
   push:
-    branches: [ master, dev ]
-  pull_request:
-    branches: [ master ]
+    branches: [ dev ]
 
 env:
   CARGO_TERM_COLOR: always
@@ -40,3 +38,4 @@ jobs:
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./target/doc
+        force_orphan: true