Changes

1 changed files (+0/-14)

• .github/workflows/lean_action_ci.yml (deleted)
  • @@ -1,14 +0,0 @@
    - name: Lean Action CI - - on: - push: - pull_request: - workflow_dispatch: - - jobs: - build: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - uses: leanprover/lean-action@v1