d-flex flex-column width-full">

chore: adaptations for nightly-2026-06-03

b872eb8

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Zulip emoji merge update on: push

zulip-emoji-merged

actionlint

Autolabel PRs on: push

Add topic label

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

main

continuous integration on: push 3

ci / Build

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

Post PR summary comment on: pull_request_target

post-or-update-summary-comment

lint and suggest on: pull_request

Lint and suggest

Check workflows on: pull_request

actionlint

ensure-sha-pinned-actions

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

Autolabel PRs on: pull_request_target

Add topic label

Check PR titles on: pull_request_target

check_title

Label New Contributors on: pull_request_target

label-and-report-new-contributor

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

main

Zulip emoji merge update on: push

zulip-emoji-merged

Autolabel PRs on: push

Add topic label

continuous integration (mathlib forks) on: pull_request_target

ci (fork)

continuous integration on: push 3

ci / Build

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

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

Add closed-pr emoji in Zulip

chore: adaptations for nightly-2026-06-03

Uh oh!

Select a check to view from the sidebar