Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: Remove --recursive from action to update mpl submodule (#672)
Fixes both failures in the nightly build, since it was trying to also update the specification, which wasn't necessary and doesn't update cleanly: https://github.com/aws/aws-encryption-sdk-dafny/actions/runs/10475570505. Also removed --init since that was pointless in this case.
- Loading branch information