Rename laconic2d to laconicd repo in CI #71

Merged
ashwin merged 1 commits from ng-remove-laconic2 into main 2024-07-23 04:43:29 +00:00

1 Commits

Author SHA1 Message Date
836e733516 Rename laconic2d to laconicd in CI
All checks were successful
Lint / lint (18.x) (pull_request) Successful in 1m24s
Tests / cli_tests (18.x) (pull_request) Successful in 8m43s
2024-07-23 10:01:22 +05:30