github: migrate from travis to github actions

* .github/workflows/spec.yml: New equivalent github actions CI workflow.
* .travis.yml: Removed.
* README.md: Remove unused badges. Add workflow status badge.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>

Author: gvvaughan

.github/workflows/spec.yml

@@ -0,0 +1,45 @@
+name: spec
+
+on:
+  push:
+    branches: [ '*' ]
+  pull_request:
+    branches: [ 'master' ]
+
+jobs:
+  test:
+    strategy:
+      fail-fast: false
+      matrix:
+        lua-version: ["5.4", "5.3", "5.2", "5.1", "luajit"]
+        typecheck: ["typecheck", ""]
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+
+      - uses: leafo/gh-actions-lua@v8.0.0
+        with:
+          luaVersion: ${{ matrix.lua-version }}
+
+      - uses: leafo/gh-actions-luarocks@v4.0.0
+
+      - name: install
+        run: |
+          sudo apt-get install -y libyaml-dev
+          luarocks install ansicolors
+          luarocks install ldoc
+          luarocks install luacov
+          luarocks install specl
+          test -n "${{ matrix.typecheck }}" && luarocks install typecheck || true
+
+      - name: build
+        run: |
+          make all doc
+          luarocks make
+
+      - name: test
+        run: |
+          make check SPECL_OPTS='-vfreport --coverage'
+          bash <(curl -s https://codecov.io/bash) -f luacov.report.out

.travis.yml

@@ -4,9 +4,8 @@ Functional Programming with Lua
 Copyright (C) 2002-2022 [std.functional authors][authors]
 
 [![License](http://img.shields.io/:license-mit-blue.svg)](https://mit-license.org/2002)
-[![travis-ci status](https://secure.travis-ci.org/lua-stdlib/functional.png?branch=master)](http://travis-ci.org/lua-stdlib/functional/builds)
+[![workflow status](https://github.com/lua-stdlib/functional/actions/workflows/spec.yml/badge.svg?branch=master)](https://github.com/lua-stdlib/functional/actions)
 [![codecov.io](https://codecov.io/gh/lua-stdlib/functional/branch/master/graph/badge.svg)](https://codecov.io/gh/lua-stdlib/functional)
-[![Stories in Ready](https://badge.waffle.io/lua-stdlib/functional.png?label=ready&title=Ready)](https://waffle.io/lua-stdlib/functional)
 
 
 This is a collection of Functional Programming libraries for Lua 5.1