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

This commit is contained in:
Nabarun 2024-07-23 10:01:22 +05:30
parent aa2117e472
commit 836e733516

View File

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