Skip to content

Actions: PatrickMassot/GlimpseOfLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fixed typo (#31) Create Release #45: Commit 984733b pushed by fpvandoorn
12s master
master
12s
suggestion to explain ⊢ Create Release #44: Commit 4d48649 pushed by PatrickMassot
15s master
master
15s
Bump Lean version Create Release #43: Commit aa74de1 pushed by PatrickMassot
13s master
master
13s
Use correct delaboration for max and min Create Release #42: Commit dd4749b pushed by PatrickMassot
11s master
master
11s
Fix two broken urls Create Release #41: Commit 560263d pushed by PatrickMassot
59s master
master
59s
Add more live-lean links Create Release #40: Commit aec9d9b pushed by PatrickMassot
1m 1s master
master
1m 1s
chore(Logic): rename valuations (#30) Create Release #39: Commit 77d01f8 pushed by PatrickMassot
13s master
master
13s
Fix namespace typo Create Release #38: Commit 3cc01f2 pushed by PatrickMassot
12s master
master
12s
Tweaks Create Release #37: Commit 6e5b563 pushed by PatrickMassot
16s master
master
16s
Put fixes in the solution file and propagate Create Release #36: Commit 4ab7396 pushed by PatrickMassot
13s master
master
13s
comments by Filippo (#29) Create Release #35: Commit e96914d pushed by PatrickMassot
13s master
master
13s