Merge remote-tracking branch 'origin/main' into bump/v4.34.0

20fb00c

Select commit

Loading

Failed to load commit list.

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

Project Advisory Comment on: pull_request_target 2

Project metadata advisory

Verify challenge solutions on: pull_request 2

Verify challenge solutions

Partial Port Audit on: pull_request 1

audit (advisory)

Lean Action CI on: pull_request 17

Plan build

Build pool

Build shard 00

Build shard 01

Build shard 02

Build shard 03

Build shard 04

Build shard 05

Build shard 06

Build shard 07

Build shard 08

Build shard 09

Assemble and lint

Build project

Documentation on: pull_request 7

Documentation preflight

Build Mathlib documentation data

Build exposition site

Build doc-gen4 site

Check deployment freshness

Deploy documentation

PR Separation Guard on: pull_request

Content / non-content separation

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Project Advisory Comment on: pull_request_target 3

Project metadata advisory