switch to Docker Action CI for 8.18

.github/workflows/docker-action.yml

@@ -0,0 +1,47 @@
+name: Docker CI
+
+on:
+  push:
+    branches:
+      - coq8.18
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        image:
+          - 'coqorg/coq:8.18-ocaml-4.12-flambda'
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v3
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          custom_image: ${{ matrix.image }}
+          custom_script: |
+            {{before_install}}
+            startGroup "Build coq-hammer-tactics dependencies"
+              opam pin add -n -y -k path coq-hammer-tactics .
+              opam update -y
+              opam install -y -j $(nproc) coq-hammer-tactics --deps-only
+            endGroup
+            startGroup "Build coq-hammer-tactics"
+              opam install -y -v -j $(nproc) coq-hammer-tactics
+              opam list
+            endGroup
+            startGroup "Build coq-hammer dependencies"
+              opam pin add -n -y -k path coq-hammer .
+              opam update -y
+              opam install -y -j $(nproc) coq-hammer --deps-only
+            endGroup
+            startGroup "Build coq-hammer"
+              opam install -y -v -j $(nproc) coq-hammer
+              opam list
+            endGroup
+            startGroup "Uninstallation test"
+              opam remove -y coq-hammer
+              opam remove -y coq-hammer-tactics
+            endGroup

README.md

@@ -1,6 +1,9 @@
 CoqHammer (dev) for Coq 8.18 (use other branches for other versions of Coq)
 
-[![Travis](https://app.travis-ci.com/lukaszcz/coqhammer.svg?branch=coq8.18)](https://app.travis-ci.com/lukaszcz/coqhammer/builds)
+[![Docker CI][docker-action-shield]][docker-action-link]
+
+[docker-action-shield]: https://github.com/lukaszcz/coqhammer/workflows/Docker%20CI/badge.svg?branch=coq8.18
+[docker-action-link]: https://github.com/lukaszcz/coqhammer/actions?query=workflow:"Docker%20CI"
 
 CoqHammer video tutorial:
 [part 1 (sauto)](https://www.youtube.com/watch?v=0c_utk9bVgU&list=PLXXF_svQE_b-9A5p2OKU7Tjz-NcE7H2xg),