fix: agent search loops in large/monorepo projects (v3.1.2) #142
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Release | |
| on: | |
| push: | |
| tags: | |
| - 'v*' | |
| permissions: | |
| contents: write | |
| jobs: | |
| build: | |
| name: Build ${{ matrix.target }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| matrix: | |
| include: | |
| - target: x86_64-unknown-linux-gnu | |
| os: ubuntu-22.04 | |
| - target: aarch64-unknown-linux-gnu | |
| os: ubuntu-22.04 | |
| cross: true | |
| - target: x86_64-unknown-linux-musl | |
| os: ubuntu-22.04 | |
| musl: true | |
| - target: x86_64-apple-darwin | |
| os: macos-latest | |
| - target: aarch64-apple-darwin | |
| os: macos-latest | |
| - target: x86_64-pc-windows-msvc | |
| os: windows-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install Rust toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| targets: ${{ matrix.target }} | |
| - name: Install musl tools | |
| if: matrix.musl == true | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y musl-tools | |
| if [[ "${{ matrix.target }}" == aarch64-* ]]; then | |
| sudo apt-get install -y gcc-aarch64-linux-gnu musl-dev | |
| sudo ln -sf /usr/bin/aarch64-linux-gnu-gcc /usr/bin/aarch64-linux-musl-gcc || true | |
| echo "CARGO_TARGET_AARCH64_UNKNOWN_LINUX_MUSL_LINKER=aarch64-linux-gnu-gcc" >> $GITHUB_ENV | |
| echo "CC_aarch64_unknown_linux_musl=aarch64-linux-gnu-gcc" >> $GITHUB_ENV | |
| fi | |
| - name: Install cross-compilation tools | |
| if: matrix.cross == true && matrix.musl != true | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y gcc-aarch64-linux-gnu | |
| echo "CARGO_TARGET_AARCH64_UNKNOWN_LINUX_GNU_LINKER=aarch64-linux-gnu-gcc" >> $GITHUB_ENV | |
| - name: Run tests | |
| if: matrix.cross != true | |
| working-directory: rust | |
| shell: bash | |
| run: | | |
| if [[ "${{ runner.os }}" == "Windows" ]]; then | |
| cargo test --lib --all-features | |
| else | |
| cargo test --all-features | |
| fi | |
| - name: Build | |
| working-directory: rust | |
| run: cargo build --release --target ${{ matrix.target }} | |
| - name: Package (Unix) | |
| if: runner.os != 'Windows' | |
| shell: bash | |
| run: | | |
| cd rust/target/${{ matrix.target }}/release | |
| tar czf ../../../../lean-ctx-${{ matrix.target }}.tar.gz lean-ctx | |
| cd ../../../.. | |
| - name: Package (Windows) | |
| if: runner.os == 'Windows' | |
| shell: pwsh | |
| run: | | |
| Compress-Archive -Path "rust/target/${{ matrix.target }}/release/lean-ctx.exe" -DestinationPath "lean-ctx-${{ matrix.target }}.zip" | |
| - name: Upload artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: lean-ctx-${{ matrix.target }} | |
| path: | | |
| lean-ctx-${{ matrix.target }}.tar.gz | |
| lean-ctx-${{ matrix.target }}.zip | |
| release: | |
| name: Create Release | |
| needs: build | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/download-artifact@v4 | |
| with: | |
| merge-multiple: true | |
| - name: Create stable source tarball | |
| run: | | |
| VERSION="${GITHUB_REF_NAME#v}" | |
| git archive --format=tar.gz --prefix="lean-ctx-${VERSION}/" "${GITHUB_REF_NAME}" -o "lean-ctx-${VERSION}-source.tar.gz" | |
| - name: Generate checksums | |
| run: sha256sum lean-ctx-*.tar.gz lean-ctx-*.zip > SHA256SUMS | |
| - name: Extract release notes from CHANGELOG | |
| id: notes | |
| run: | | |
| VERSION="${GITHUB_REF_NAME#v}" | |
| PREV_TAG=$(git tag --sort=-v:refname | grep -A1 "^v${VERSION}$" | tail -1) | |
| NOTES=$(awk "/^## \\[${VERSION}\\]/{found=1; next} /^## \\[/{if(found) exit} found{print}" CHANGELOG.md) | |
| { | |
| echo "body<<BODY_EOF" | |
| echo "$NOTES" | |
| echo "" | |
| echo "#### Upgrade" | |
| echo '```bash' | |
| echo "cargo install lean-ctx # or" | |
| echo "npm update -g lean-ctx-bin # or" | |
| echo "brew upgrade lean-ctx" | |
| echo '```' | |
| echo "" | |
| echo "**Full Changelog**: https://github.com/yvgude/lean-ctx/compare/${PREV_TAG}...v${VERSION}" | |
| echo "BODY_EOF" | |
| } >> "$GITHUB_OUTPUT" | |
| - name: Create GitHub Release | |
| uses: softprops/action-gh-release@v2 | |
| with: | |
| body: ${{ steps.notes.outputs.body }} | |
| files: | | |
| lean-ctx-*.tar.gz | |
| lean-ctx-*.zip | |
| SHA256SUMS | |
| publish-crates: | |
| name: Publish to crates.io | |
| needs: release | |
| runs-on: ubuntu-latest | |
| if: ${{ !contains(github.ref_name, '-rc') }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: dtolnay/rust-toolchain@stable | |
| - name: Publish | |
| working-directory: rust | |
| run: cargo publish --allow-dirty --token ${{ secrets.CARGO_REGISTRY_TOKEN }} | |
| env: | |
| CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }} | |
| continue-on-error: true | |
| publish-npm: | |
| name: Publish to npm | |
| needs: release | |
| runs-on: ubuntu-latest | |
| if: ${{ !contains(github.ref_name, '-rc') }} | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/setup-node@v4 | |
| with: | |
| node-version: 22 | |
| registry-url: https://registry.npmjs.org | |
| - name: Publish lean-ctx-bin | |
| working-directory: packages/lean-ctx-bin | |
| run: npm publish --access public | |
| env: | |
| NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }} | |
| continue-on-error: true | |
| - name: Publish pi-lean-ctx | |
| working-directory: packages/pi-lean-ctx | |
| run: npm publish --access public | |
| env: | |
| NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }} | |
| continue-on-error: true | |
| update-homebrew: | |
| name: Update Homebrew | |
| needs: release | |
| runs-on: ubuntu-latest | |
| if: ${{ !contains(github.ref_name, '-rc') }} | |
| steps: | |
| - name: Download checksums and extract hashes | |
| id: checksums | |
| run: | | |
| VERSION="${GITHUB_REF_NAME#v}" | |
| echo "version=${VERSION}" >> "$GITHUB_OUTPUT" | |
| gh release download "${GITHUB_REF_NAME}" \ | |
| --repo yvgude/lean-ctx --pattern "SHA256SUMS" --dir . | |
| SOURCE_SHA=$(grep "source\.tar\.gz" SHA256SUMS | awk '{print $1}') | |
| echo "source_sha=${SOURCE_SHA}" >> "$GITHUB_OUTPUT" | |
| echo "Source tarball SHA256: ${SOURCE_SHA}" | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| - name: Clone and update formula | |
| run: | | |
| VERSION="${{ steps.checksums.outputs.version }}" | |
| SHA="${{ steps.checksums.outputs.source_sha }}" | |
| git clone "https://x-access-token:${HOMEBREW_TOKEN}@github.com/yvgude/homebrew-lean-ctx.git" | |
| cd homebrew-lean-ctx | |
| sed -i "s|url \".*\"|url \"https://github.com/yvgude/lean-ctx/releases/download/v${VERSION}/lean-ctx-${VERSION}-source.tar.gz\"|" Formula/lean-ctx.rb | |
| sed -i "s|sha256 \".*\"|sha256 \"${SHA}\"|" Formula/lean-ctx.rb | |
| sed -i "s|assert_match \"lean-ctx [0-9][^\"]*\"|assert_match \"lean-ctx ${VERSION}\"|" Formula/lean-ctx.rb | |
| grep -q "v${VERSION}/lean-ctx-${VERSION}-source.tar.gz" Formula/lean-ctx.rb | |
| grep -q "sha256 \"${SHA}\"" Formula/lean-ctx.rb | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| git add Formula/lean-ctx.rb | |
| git diff --cached --quiet || git commit -m "lean-ctx ${VERSION}" | |
| git push | |
| env: | |
| HOMEBREW_TOKEN: ${{ secrets.HOMEBREW_GITHUB_TOKEN }} | |