Closed ngeiswei closed 2 years ago
Plus update symbols for sequential and/or.
GithubCI raises the following error
fatal: unsafe repository ('/__w/rocca/rocca' is owned by someone else)
The problem might come from git. In any case, the tests pass locally so I'm gonna merge.
Plus update symbols for sequential and/or.