Skip to content

Actions: PatrickMassot/GlimpseOfLean

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
15 workflow runs
15 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix typo found at XUPS 2026 Create Release #60: Commit 7dc8169 pushed by PatrickMassot
7s master
master
7s
Mention grind and have in shorter track. Create Release #59: Commit 7d99667 pushed by PatrickMassot
7s master
master
7s
Bump Lean version Create Release #58: Commit 8f97c87 pushed by PatrickMassot
12s master
master
12s
Fix comment (#38) Create Release #57: Commit 678d5d7 pushed by fpvandoorn
8s master
master
8s
Fix comment Create Release #56: Commit c5b8d3b pushed by PatrickMassot
7s master
master
7s
Fix comment Create Release #55: Commit 8f2ed9d pushed by PatrickMassot
11s master
master
11s
Clarifications in 02Iff (#37) Create Release #54: Commit 38ee6e4 pushed by fpvandoorn
10s master
master
10s
SequenceLimits.lean: improve example on sum of limits (#36) Create Release #53: Commit af1b423 pushed by fpvandoorn
9s master
master
9s
update measurability explanation (#34) Create Release #52: Commit 204163b pushed by fpvandoorn
8s master
master
8s
More consistent names Create Release #51: Commit 68cf422 pushed by PatrickMassot
8s master
master
8s
Cleanup GaloisAdjunctions file Create Release #50: Commit 59d4582 pushed by PatrickMassot
6s master
master
6s
Fix a forgotten auto-implicit Create Release #49: Commit 1f046cf pushed by PatrickMassot
6s master
master
6s
Some polish. Create Release #48: Commit 2ccbbff pushed by PatrickMassot
7s master
master
7s
Bump Lean version Create Release #47: Commit 716eae3 pushed by PatrickMassot
9s master
master
9s
Bump Lean and Mathlib versions Create Release #46: Commit 65f9a26 pushed by PatrickMassot
8s master
master
8s