Commit 2024-10-21 23:17 034f3de5

View on Github →

chore(deps): dependabot updates (#18026) Doing this manually because dependabot doesn't know how to update build.in.yml.

Estimated changes

Modified .github/build.in.yml

Modified .github/workflows/bors.yml

Modified .github/workflows/bot_fix_style_comment.yaml

Modified .github/workflows/bot_fix_style_review.yaml

Modified .github/workflows/bot_fix_style_review_comment.yaml

Modified .github/workflows/build.yml

Modified .github/workflows/build_fork.yml

Modified .github/workflows/dependent-issues.yml

Modified .github/workflows/labels_from_comment.yml

Modified .github/workflows/lean4checker.yml

Modified .github/workflows/lint_and_suggest_pr.yml

Modified .github/workflows/maintainer_merge_comment.yml

Modified .github/workflows/maintainer_merge_review.yml

Modified .github/workflows/maintainer_merge_review_comment.yml

Modified .github/workflows/nolints.yml

Modified .github/workflows/update_dependencies.yml