Test forked PR (#38)

lurk-lab · Oct 31, 2023 · 9a67892 · 9a67892
1 parent 02f5519
commit 9a67892
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: Run unit tests
+name: Run tests
 
 on:
   push:

diff --git a/.github/workflows/end2end.yml b/.github/workflows/end2end.yml
@@ -62,4 +62,4 @@ jobs:
           body: |
             End-to-end `!test` action succeeded! :rocket:
 
-            https://github.com/lurk-lab/ci-lab/actions/runs/${{ github.run_id }}
+            https://github.com/lurk-lab/solidity-verifier/actions/runs/${{ github.run_id }}