runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Fix typo in release workflow #1085

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

In #1072, we changed the names of some workflow steps. This introduced a typo in the release workflow that's been preventing us from cutting releases; this PR is a straightforward fix for that typo.

Baltoli commented 1 month ago
Screenshot 2024-06-04 at 17 36 03