lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Check libraries when Lambdapi code changes

Open Alidra opened this issue 1 year ago • 0 comments

This PR adds a check of lambdapi-logics and lambdapi-stdlib in the pipeline to unsure nothing has been broken by changes in Lambdapi code

Alidra avatar Apr 30 '24 22:04 Alidra