d-flex flex-column width-full">

chore(CI): fix merge conflict resolution for nightly-testing

4eff6a0

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Label New Contributors on: pull_request_target

label-and-report-new-contributor

New Contributor Check

Post PR summary comment on: pull_request_target

post-or-update-summary-comment

set_pr_emoji

Check PR titles on: pull_request_target

check_title

Autolabel PRs on: pull_request_target 2

Add topic label

lint and suggest on: pull_request 1

Lint and suggest

Commit Verification on: pull_request

Verify Transient and Automated Commits

Validate mathlib-ci script paths on: pull_request

validate-ci-scripts-paths

Run pre-commit and in-place update PR on push on: pull_request 1

main

Check workflows on: pull_request

actionlint

ensure-sha-pinned-actions

set_pr_emoji

Add "closed-pr" emoji in Zulip on: pull_request_target

Add closed-pr emoji in Zulip

Check PR titles on: pull_request_target

check_title

label-and-report-new-contributor

succeeded Jun 5, 2026 in 7s

Loading