.github/workflows/lean-release-tag.yml · Workflow runs · google-deepmind/formal-conjectures · GitHub

Actions

All workflows
Workflows
- Build Lean project and deploy docs Build Lean project and deploy docs
- .github/workflows/approval-check.yml .github/workflows/approval-check.yml
- .github/workflows/lean-release-tag.yml .github/workflows/lean-release-tag.yml
- Check Copyright Header Check Copyright Header
- Check for README file Check for README file
- Google GitHub Admin: Actions Workflow Security Scan Google GitHub Admin: Actions Workflow Security Scan
- Notify erdosproblems of update Notify erdosproblems of update
- Pull Request Labeler Pull Request Labeler
Management
- Caches
- Deployments

.github/workflows/lean-release-tag.yml

Actions

Loading...
Loading

lean-release-tag.yml

7 workflow runs

7 workflow runs

Revert "bump to v4.23.0 (#1371)" (#1376) .github/workflows/lean-release-tag.yml #7: Commit ded54f6 pushed by mo271

8s main

main

8s

bump to v4.23.0 (#1371) .github/workflows/lean-release-tag.yml #6: Commit e36c64d pushed by YaelDillies

9s main

main

9s

bump toolchain and Mathlib to v4.22.0 (#603) .github/workflows/lean-release-tag.yml #5: Commit 952798f pushed by mo271

28s main

main

28s

bump toolchain and Mathlib to v4.21.0 (#602) .github/workflows/lean-release-tag.yml #4: Commit 044be64 pushed by mo271

17s main

main

17s

bump toolchain and Mathlib to v4.20.1 (#588) .github/workflows/lean-release-tag.yml #3: Commit 03cd321 pushed by mo271

17s main

main

17s

bump toolchain and Mathlib to v4.19.0 (#585) .github/workflows/lean-release-tag.yml #2: Commit d3d568c pushed by mo271

14s main

main

14s

chore: bump toolchain and Mathlib to v4.18.0 (#111) .github/workflows/lean-release-tag.yml #1: Commit 885b3f2 pushed by mo271

17s main

main

17s