Merge pull request #70 from coq-community/v8.13+nix

add Nix CI for 8.13

.github/workflows/coq-ci.yml → .github/workflows/docker-ci.yml

@@ -1,4 +1,6 @@
-name: CI
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+name: Docker CI
 
 on:
   push:

.github/workflows/nix-ci.yml

@@ -0,0 +1,30 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+name: Nix CI
+
+on:
+  push:
+    branches:
+      - v8.13
+  pull_request:
+    branches:
+      - '**'
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        version_or_url:
+          - 'https://github.com/coq/coq-on-cachix/tarball/v8.13'
+      fail-fast: false
+    steps:
+      - uses: cachix/install-nix-action@v12
+        with:
+          nix_path: nixpkgs=channel:nixpkgs-unstable
+      - uses: cachix/cachix-action@v8
+        with:
+          # Name of a cachix cache to pull/substitute
+          name: coq
+      - uses: actions/checkout@v2
+      - run: nix-build --argstr coq-version-or-url "${{ matrix.version_or_url }}"

README.md

@@ -1,13 +1,21 @@
+<!---
+This file was generated from `meta.yml`, please do not edit manually.
+Follow the instructions on https://github.com/coq-community/templates to regenerate.
+--->
 # AAC Tactics
 
-[![CI][action-shield]][action-link]
+[![Docker CI][docker-action-shield]][docker-action-link]
+[![Nix CI][nix-action-shield]][nix-action-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[action-shield]: https://github.com/coq-community/aac-tactics/workflows/CI/badge.svg?branch=v8.13
-[action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow%3ACI
+[docker-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Docker%20CI/badge.svg?branch=v8.13
+[docker-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Docker%20CI"
+
+[nix-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Nix%20CI/badge.svg?branch=v8.13
+[nix-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Nix%20CI"
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md

default.nix

@@ -1,3 +1,6 @@
+# This file was generated from `meta.yml`, please do not edit manually.
+# Follow the instructions on https://github.com/coq-community/templates to regenerate.
+
 { pkgs ? (import <nixpkgs> {}), coq-version-or-url, shell ? false }:
 
 let

meta.yml

@@ -4,6 +4,7 @@ shortname: aac-tactics
 organization: coq-community
 community: true
 action: true
+nix: true
 plugin: true
 doi: 10.1007/978-3-642-25379-9_14
 branch: 'v8.13'