diff --git a/.github/workflows/ghcr.yml b/.github/workflows/ghcr.yml index cb26f2ae..a4448f95 100644 --- a/.github/workflows/ghcr.yml +++ b/.github/workflows/ghcr.yml @@ -1,11 +1,11 @@ -# name: Build +name: Build -# on: -# repository_dispatch: -# types: [prover-update] -# push: -# tags: -# - 'v*.*.*' +on: + repository_dispatch: + types: [prover-update] + push: + tags: + - 'v*.*.*' jobs: build: