Skip to content

Commit

Permalink
refactor: Add unneeded but recommended YAML indentation
Browse files Browse the repository at this point in the history
  • Loading branch information
erikmd committed Jun 25, 2020
1 parent 6cf0f30 commit b528c86
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions coq-action.yml.mustache
Original file line number Diff line number Diff line change
Expand Up @@ -20,16 +20,16 @@ jobs:
{{/ tested_coq_opam_versions }}
fail-fast: false
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v2
{{# submodule }}
- name: Checkout submodules
uses: textbook/git-checkout-submodule-action@2.1.1
- name: Checkout submodules
uses: textbook/git-checkout-submodule-action@2.1.1
{{/ submodule }}
- uses: coq-community/docker-coq-action@v1
with:
opam_file: '{{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }}.opam'
- uses: coq-community/docker-coq-action@v1
with:
opam_file: '{{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }}.opam'
{{! The last-but-one interpolation changes delimiters to avoid interpreting the last one as mustache syntax. }}
custom_image: {{ repo }}{{^ repo }}coqorg/coq{{/ repo }}{{=<% %>=}}:${{ matrix.image_version }}
custom_image: {{ repo }}{{^ repo }}coqorg/coq{{/ repo }}{{=<% %>=}}:${{ matrix.image_version }}

# See also:
# https://github.com/coq-community/docker-coq-action#readme
Expand Down

0 comments on commit b528c86

Please sign in to comment.