libera/#clasp - IRC Chatlog Search Friday, 24th of June 2022, 0:33:30 UTC 12:03:32 yitzi drmeister: I've added the cando regression tests to the testing workflow on cando-developers/cando. You can run the cando regression tests with `ninja -C build cando-test`