Fix syntax error in cbmc-update CI job

It's "env" and not "evn".
tautschnig · Apr 15, 2024 · ac3a82a · ac3a82a
1 parent e906cde
commit ac3a82a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml
@@ -79,7 +79,7 @@ jobs:
  token: ${{ github.token }}
  title: 'CBMC upgrade to ${{ env.CBMC_LATEST }} failed'
  body: >
- Updating CBMC from ${{ evn.CBMC_VERSION }} to ${{ env.CBMC_LATEST }} failed.
+ Updating CBMC from ${{ env.CBMC_VERSION }} to ${{ env.CBMC_LATEST }} failed.
 
  The failed automated run
  [can be found here.](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }})