adapt boilerplate for 8.19

.github/workflows/nix-action.yml

@@ -0,0 +1,47 @@
+# 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.19
+  pull_request:
+    paths:
+    - .github/workflows/**
+  pull_request_target:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        overrides:
+          - 'coq = "8.19"'
+      fail-fast: false
+    steps:
+      - name: Determine which commit to test
+        run: |
+          if [[ ${{ github.event_name }} =~ "pull_request" ]]; then
+            merge_commit=$(git ls-remote ${{ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge | cut -f1)
+            if [ -z "$merge_commit" ]; then
+              echo "tested_commit=${{ github.event.pull_request.head.sha }}" >> $GITHUB_ENV
+            else
+              echo "tested_commit=$merge_commit" >> $GITHUB_ENV
+            fi
+          else
+            echo "tested_commit=${{ github.sha }}" >> $GITHUB_ENV
+          fi
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixpkgs-unstable
+      - uses: cachix/cachix-action@v12
+        with:
+          name: coq-community
+          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
+          extraPullNames: coq, math-comp
+      - uses: actions/checkout@v3
+        with:
+          ref: ${{ env.tested_commit }}
+      - run: >
+          nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job atbr --arg override '{ ${{ matrix.overrides }}; atbr = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'

README.md

@@ -11,8 +11,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![coqdoc][coqdoc-shield]][coqdoc-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/atbr/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/atbr/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/atbr/actions/workflows/docker-action.yml/badge.svg?branch=v8.19
+[docker-action-link]: https://github.com/coq-community/atbr/actions/workflows/docker-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
@@ -46,7 +46,7 @@ rather than automata: https://github.com/damien-pous/relation-algebra
 - Coq-community maintainer(s):
   - Tej Chajed ([**@tchajed**](https://github.com/tchajed))
 - License: [GNU Lesser General Public License v3.0 or later](LICENSE)
-- Compatible Coq versions: master (use the corresponding branch or release for other Coq versions)
+- Compatible Coq versions: 8.19 (use the corresponding branch or release for other Coq versions)
 - Compatible OCaml versions: 4.09.0 or later
 - Additional dependencies: none
 - Coq namespace: `ATBR`

coq-atbr.opam

@@ -3,7 +3,7 @@
 
 opam-version: "2.0"
 maintainer: "[email protected]"
-version: "dev"
+version: "8.19.dev"
 
 homepage: "https://github.com/coq-community/atbr"
 dev-repo: "git+https://github.com/coq-community/atbr.git"
@@ -26,7 +26,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "coq" {= "dev"}
+  "coq" {>= "8.19" & < "8.20"}
 ]
 
 tags: [

meta.yml

@@ -4,9 +4,11 @@ shortname: atbr
 organization: coq-community
 community: true
 action: true
+nix: true
 coqdoc: true
 doi: 10.2168/LMCS-8(1:16)2012
 plugin: true
+branch: 'v8.19'
 
 synopsis: Coq library and tactic for deciding Kleene algebras
 
@@ -37,22 +39,25 @@ maintainers:
 
 opam-file-maintainer: [email protected]
 
-opam-file-version: dev
+opam-file-version: 8.19.dev
 
 license:
   fullname: GNU Lesser General Public License v3.0 or later
   identifier: LGPL-3.0-or-later
 
 supported_coq_versions:
-  text: master (use the corresponding branch or release for other Coq versions)
-  opam: '{= "dev"}'
+  text: 8.19 (use the corresponding branch or release for other Coq versions)
+  opam: '{>= "8.19" & < "8.20"}'
 
 supported_ocaml_versions:
     text: 4.09.0 or later
     opam: '{>= "4.09.0"}'
 
 tested_coq_opam_versions:
-- version: 'dev'
+- version: '8.19'
+
+tested_coq_nix_versions:
+- coq_version: '8.19'
 
 namespace: ATBR