We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f12097a commit cad5769Copy full SHA for cad5769
.github/workflows/release.yml
@@ -145,7 +145,7 @@ jobs:
145
org.opencontainers.image.licenses=Apache-2.0 OR MIT
146
147
- name: Check action and image is updated.
148
- uses: ${{ env.OWNER_LC }}/kani@${{ needs.Release.outputs.version }})
+ uses: ${{ env.OWNER_LC }}/kani@${{ needs.Release.outputs.version }}
149
with:
150
command: |
151
[[ "$(cargo kani --version)" == 'cargo-kani ${{ needs.Release.outputs.version }}' ]]
0 commit comments