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

View File

@ -39,7 +39,7 @@ jobs:
uses: actions/checkout@v3
with:
path: "./laconicd/"
repository: cerc-io/laconic2d # TODO: Update to laconicd after renaming repo
repository: cerc-io/laconicd
fetch-depth: 0
ref: main