objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

fix(scripts): copy new pipeline lock so that it can be hashed in ci #350

Closed deemp closed 3 months ago

deemp commented 3 months ago

Closes #349


PR-Codex overview

This PR updates a script in scripts/lib.sh to copy a file instead of moving it when a pipeline lock is changed.

Detailed summary

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}