From 836e73351617b2f05e15c1cce42fee715280389f Mon Sep 17 00:00:00 2001 From: Nabarun Date: Tue, 23 Jul 2024 10:01:22 +0530 Subject: [PATCH] Rename laconic2d to laconicd in CI --- .gitea/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitea/workflows/test.yml b/.gitea/workflows/test.yml index 09577f8..295669b 100644 --- a/.gitea/workflows/test.yml +++ b/.gitea/workflows/test.yml @@ -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