Skip to content

Commit

Permalink
adjust boilerplate for 8.15
Browse files Browse the repository at this point in the history
  • Loading branch information
palmskog committed Dec 11, 2021
1 parent 6c3566b commit 9463c04
Show file tree
Hide file tree
Showing 5 changed files with 11 additions and 43 deletions.
31 changes: 0 additions & 31 deletions .github/workflows/docker-action.yml

This file was deleted.

4 changes: 2 additions & 2 deletions .github/workflows/nix-action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ name: Nix CI
on:
push:
branches:
- master
- v8.15
pull_request:
paths:
- .github/workflows/**
Expand All @@ -17,7 +17,7 @@ jobs:
strategy:
matrix:
overrides:
- 'coq = "master"'
- 'coq = "v8.15"'
fail-fast: false
steps:
- name: Determine which commit to test
Expand Down
8 changes: 2 additions & 6 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,13 @@ Follow the instructions on https://github.com/coq-community/templates to regener
--->
# AAC Tactics

[![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]

[docker-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Docker%20CI/badge.svg?branch=master
[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=master
[nix-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Nix%20CI/badge.svg?branch=v8.15
[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
Expand Down Expand Up @@ -46,7 +42,7 @@ such as for binary integer arithmetic and booleans, are provided with the plugin
- Coq-community maintainer(s):
- Karl Palmskog ([**@palmskog**](https://github.com/palmskog))
- 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.15 (use the corresponding branch or release for other Coq versions)
- Compatible OCaml versions: 4.05.0 or later
- Additional dependencies: none
- Coq namespace: `AAC_tactics`
Expand Down
2 changes: 1 addition & 1 deletion coq-aac-tactics.opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
depends: [
"ocaml" {>= "4.05.0"}
"dune" {>= "2.5"}
"coq" {= "dev"}
"coq" {>= "8.15" & < "8.16~"}
]

tags: [
Expand Down
9 changes: 6 additions & 3 deletions meta.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ action: true
nix: true
plugin: true
doi: 10.1007/978-3-642-25379-9_14
branch: master
branch: v8.15

synopsis: >-
Coq tactics for rewriting universally quantified equations, modulo
Expand Down Expand Up @@ -47,8 +47,8 @@ license:
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.15 (use the corresponding branch or release for other Coq versions)
opam: '{>= "8.15" & < "8.16~"}'

supported_ocaml_versions:
text: 4.05.0 or later
Expand All @@ -57,6 +57,9 @@ supported_ocaml_versions:
tested_coq_opam_versions:
- version: dev

tested_coq_nix_versions:
- coq_version: 'v8.15'

namespace: AAC_tactics

keywords:
Expand Down

0 comments on commit 9463c04

Please sign in to comment.