diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml index 8c42ce20..5e9173eb 100644 --- a/.github/workflows/create-release.yml +++ b/.github/workflows/create-release.yml @@ -4,13 +4,14 @@ on: push: branches: - main - paths: - - 'lean-toolchain' - + jobs: create_release: + paths: + - 'lean-toolchain' + runs-on: ubuntu-latest - + steps: - name: Checkout code uses: actions/checkout@v4