Skip to content

A copy met after an unfold converts before either copy unfolds (arguments compared rigid first, failures remembered on the cell) - #1232

Closed
Giulio2002 wants to merge 1 commit into
bendlang:mainfrom
Giulio2002:rigid-memo
Closed

A copy met after an unfold converts before either copy unfolds (arguments compared rigid first, failures remembered on the cell)#1232
Giulio2002 wants to merge 1 commit into
bendlang:mainfrom
Giulio2002:rigid-memo

Enhance your code review process with GitHub Actions

GitHub Actions make it easy to automate all your software workflows, now with world-class CI/CD.
Build, test, and deploy your code right from GitHub. Learn more about GitHub Actions.

Linux, macOS, Windows, and containers
Linux, macOS, Windows, and containers
Matrix builds
Matrix builds
Any language
Any language
Live logs
Live logs
Built-in secret store
Built-in secret store
Multi-container testing
Multi-container testing