diff --git a/coq-action.yml.mustache b/coq-action.yml.mustache index f06f6aa..4d1189f 100644 --- a/coq-action.yml.mustache +++ b/coq-action.yml.mustache @@ -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