Skip to content

Commit

Permalink
Merge pull request #123 from coq-community/fix-ci-status
Browse files Browse the repository at this point in the history
fix CI status and ORCID images in README.md
  • Loading branch information
palmskog authored Nov 19, 2023
2 parents 9531846 + 0a652e7 commit 7dccac1
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions README.md.mustache
Original file line number Diff line number Diff line change
Expand Up @@ -36,12 +36,12 @@ Follow the instructions on https://github.com/coq-community/templates to regener
[travis-link]: https://travis-ci.com/{{ organization }}/{{ shortname }}/builds
{{/ travis }}
{{# action }}
[docker-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/workflows/Docker%20CI/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
[docker-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions?query=workflow:"Docker%20CI"
[docker-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/docker-action.yml/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
[docker-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/docker-action.yml
{{# nix }}

[nix-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/workflows/Nix%20CI/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
[nix-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions?query=workflow:"Nix%20CI"
[nix-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-ci.yml/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
[nix-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-ci.yml
{{/ nix }}
{{/ action }}
{{# chat }}
Expand Down Expand Up @@ -80,7 +80,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener

- Author(s):
{{# authors }}
- {{& name }}{{# orcid }} [<img src="https://zenodo.org/static/img/orcid.svg" height="14px" alt="ORCID logo" />](https://orcid.org/{{ orcid }}){{/ orcid }}{{# initial }} (initial){{/ initial }}
- {{& name }}{{# orcid }} [<img src="https://zenodo.org/static/images/orcid.svg" height="14px" alt="ORCID logo" />](https://orcid.org/{{ orcid }}){{/ orcid }}{{# initial }} (initial){{/ initial }}
{{/ authors }}
{{& after_authors }}{{# community }}- Coq-community maintainer(s):
{{# maintainers }}
Expand Down

0 comments on commit 7dccac1

Please sign in to comment.