diff options
| author | Cyril Cohen | 2021-01-22 15:13:52 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-22 15:13:52 +0100 |
| commit | 5853de19f08ec7ddb3782ea9bb4783fdc8443558 (patch) | |
| tree | ab0ca09da86f27ef6bdf5f9f2e1bc32c5556638e /.github | |
| parent | c1c8ae66da745ec3960ecab02549ad918051fb0c (diff) | |
| parent | 9ea33f07e98066cd05b5ab93f336f95e83272828 (diff) | |
Merge pull request #686 from pi8027/drop-coq-8.10
Drop support for Coq 8.10
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/nix.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml index 9f45794..f665988 100644 --- a/.github/workflows/nix.yml +++ b/.github/workflows/nix.yml @@ -8,7 +8,7 @@ jobs: strategy: fail-fast: false matrix: - coq: [ "8.11", "8.10", "8.12" ] + coq: [ "8.11", "8.12" ] steps: - name: Get branch shortname run: echo "##[set-output name=name;]$(echo ${GITHUB_REF#refs/heads/})" |