From 2e6590125885906ec0c5157b114d2afba18ab9c8 Mon Sep 17 00:00:00 2001 From: Yishuai Li Date: Wed, 30 Oct 2024 21:24:30 +0800 Subject: [PATCH] Fix syntax --- .github/workflows/docker-action.yml | 3 +-- README.md | 4 ++-- meta.yml | 2 +- 3 files changed, 4 insertions(+), 5 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 3e81ebb..59f071e 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -9,7 +9,6 @@ on: pull_request: branches: - '**' - workflow_dispatch: jobs: build: @@ -30,7 +29,7 @@ jobs: - 'coqorg/coq:dev' fail-fast: false steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-reduction-effects.opam' diff --git a/README.md b/README.md index 795a4ed..61e3e4e 100644 --- a/README.md +++ b/README.md @@ -9,8 +9,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener [![Code of Conduct][conduct-shield]][conduct-link] [![Zulip][zulip-shield]][zulip-link] -[docker-action-shield]: https://github.com/coq-community/reduction-effects/workflows/Docker%20CI/badge.svg?branch=master -[docker-action-link]: https://github.com/coq-community/reduction-effects/actions?query=workflow:"Docker%20CI" +[docker-action-shield]: https://github.com/coq-community/reduction-effects/actions/workflows/docker-action.yml/badge.svg?branch=master +[docker-action-link]: https://github.com/coq-community/reduction-effects/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 diff --git a/meta.yml b/meta.yml index f5fd802..56806c3 100644 --- a/meta.yml +++ b/meta.yml @@ -38,7 +38,7 @@ tested_coq_opam_versions: - version: '8.15' - version: '8.16' - version: '8.17' -- version: '8.18. +- version: '8.18' - version: 'dev' dependencies: