Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This workflow keeps failing on release. This might be a fix, we use this as part of the publish methods in avm-semantics / K and there has been no issue with losing the key signing key in the middle of a push Example here: https://github.com/runtimeverification/k/blob/13a89f4c6a5c5ed2780ce1cffb6bd62bcfbc6be7/.github/workflows/test-pr.yml#L253C1-L264C1
- Loading branch information