diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8596695..132126b 100644 --- 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 index ddabb58..790c74d 100644 --- 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 }}