Fix missing new pipeline lock after pipeline run

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Closed deemp closed 3 months ago

deemp commented 3 months ago

Pipeline files can't be cached (link) because new pipeline lock is moved, not copied, in the pipeline.