Rename laconic2d repo to laconicd in CI #14

Merged
ashwin merged 2 commits from ng-remove-laconic2 into main 2024-07-23 04:52:50 +00:00
Showing only changes of commit fd993441b5 - Show all commits

View File

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