Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: checklist for release process #3536

Merged
merged 11 commits into from
Mar 5, 2024
Merged

feat: checklist for release process #3536

merged 11 commits into from
Mar 5, 2024

Conversation

kim-em
Copy link
Collaborator

@kim-em kim-em commented Feb 29, 2024

This is still WIP: the checklist for release candidates will get finished as I do the release of v4.7.0-rc1.

@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc February 29, 2024 01:27 Inactive
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Feb 29, 2024
@leanprover-community-mathlib4-bot
Copy link
Collaborator

Mathlib CI status (docs):

  • ❗ Std/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 69e33efa2f9a260119c97d64a29a4e41e7c1c4b7 --onto a23292f0491c7373bd6ec4ca44d030ded15d1719. (2024-02-29 01:41:26)

@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc February 29, 2024 03:37 Inactive
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
kim-em
kim-em commented Feb 29, 2024
View reviewed changes
doc/dev/release_checklist.md Outdated Show resolved Hide resolved
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc February 29, 2024 04:20 Inactive
kim-em and others added 2 commits March 1, 2024 09:28
@kim-em @david-christiansen
Update doc/dev/release_checklist.md
f87c1dc 
Co-authored-by: David Thrane Christiansen <[email protected]>
@kim-em @david-christiansen
Update doc/dev/release_checklist.md
08c5b53 
Co-authored-by: David Thrane Christiansen <[email protected]>
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc February 29, 2024 22:31 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc March 1, 2024 00:24 Inactive
@kim-em @david-christiansen
Update doc/dev/release_checklist.md
8db7c67 
Co-authored-by: David Thrane Christiansen <[email protected]>
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc March 4, 2024 13:09 Inactive
kim-em added 2 commits March 5, 2024 12:53
@kim-em
checklist for release candidates
b77f865
@kim-em
git pushMerge branch 'release_checklist' of github.com:leanprover/lea…
0908e5d 
…n4 into release_checklist # Please enter a commit

message to explain why this merge is necessary, # especially if it merges an updated upstream into a topic branch. # #
Lines starting with '#' will be ignored, and an empty message aborts # the commit.
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc March 5, 2024 01:56 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc March 5, 2024 02:09 Inactive
@kim-em kim-em marked this pull request as ready for review March 5, 2024 02:42
@kim-em
Copy link
Collaborator Author

kim-em commented Mar 5, 2024

@david-christiansen, I'm going to merge this now. Let's check in in 3 weeks to coordinate trying to follow it!

@kim-em kim-em enabled auto-merge March 5, 2024 02:43
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc March 5, 2024 02:43 Inactive
@kim-em kim-em added this pull request to the merge queue Mar 5, 2024
Merged via the queue into master with commit def5641 Mar 5, 2024
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@david-christiansen david-christiansen david-christiansen left review comments

@nomeata nomeata nomeata left review comments

Assignees
No one assigned
Labels
toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@kim-em @leanprover-community-mathlib4-bot @david-christiansen @nomeata