Try out github workflows

Author: Johannes Wünsche

.github/workflows/test_and_push.yml

@@ -0,0 +1,34 @@
+name: "test_and_badge"
+
+on:
+  push:
+    branches:
+      - master
+      - main
+
+jobs:
+  test_and_badge:
+    name: "Test and Badge"
+    runs-on: "ubuntu-latest"
+    steps:
+      - name: "Prepare"
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y curl git
+          curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
+          source $HOME/.cargo/env
+          rustup toolchain install nightly
+          git clone https://github.com/deinstapel/cursive-multiplex.git
+
+      - name: "Build and Test"
+        run: |
+          cd cursive-multiplex
+          RUST_CHAIN=stable ./scripts/ci-build.sh
+          RUST_CHAIN=nightly ./scripts/ci-build.sh
+
+      - name: "Deploy Badge"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          cd cursive-multiplex
+          ./scripts/deploy-badges.sh

.travis.yml

@@ -5,26 +5,28 @@ die() {
     exit 1
 }
 
-if [ -z "$GITHUB_USERNAME" ]
+if [ -z "$GITHUB_ACTOR" ]
 then
-    die "the GITHUB_USERNAME environment variable is not set"
+    die "the GITHUB_ACTOR environment variable is not set"
 fi
 
 if [ -z "$GITHUB_TOKEN" ]
 then
     die "the GITHUB_TOKEN environment variable is not set"
 fi
 
-if [ -z "$GITHUB_REPO_SLUG" ]
+if [ -z "$GITHUB_REPOSITORY" ]
 then
-    die "the GITHUB_REPO_SLUG environment variable is not set"
+    die "the GITHUB_REPOSITORY environment variable is not set"
 fi
 
 (
     cd "$(git rev-parse --show-toplevel)/target/shields" || die "cannot find project root!"
-    repo="https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO_SLUG}.git"
+    repo="https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
     tmp_dir=$(mktemp -d -t cursive-multiplex-deploy-XXXXXXXX)
 
+    git config --global user.email "runner@ci"
+    git config --global user.name "Github CI Runner"
     try=0
     while :; do
         if ! git clone --branch gh-pages "$repo" "$tmp_dir"
@@ -42,7 +44,7 @@ fi
         (
             cd "$tmp_dir" || die "failed to enter temporary directory"
             git add -A
-            git commit -m "Travis CI badge deployment"
+            git commit -m "Github CI badge deployment"
             git push origin gh-pages:gh-pages
         )