Skip to content

Actions: PatrickMassot/GlimpseOfLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Topic: Probability (#13) Create Release #23: Commit 54f331f pushed by fpvandoorn
March 7, 2025 13:30 11s master
master
March 7, 2025 13:30 11s
Fix typos Create Release #22: Commit 5d4279d pushed by PatrickMassot
February 28, 2025 10:57 11s master
master
February 28, 2025 10:57 11s
Add tactic cheatsheet for the shorter glimpse Create Release #21: Commit b804b3d pushed by PatrickMassot
February 26, 2025 13:54 15s master
master
February 26, 2025 13:54 15s
Get rid of annoying ring warning Create Release #20: Commit c309d09 pushed by PatrickMassot
February 26, 2025 13:30 11s master
master
February 26, 2025 13:30 11s
Remove Prop annotations Create Release #19: Commit 6c6a4f3 pushed by PatrickMassot
February 26, 2025 09:20 10s master
master
February 26, 2025 09:20 10s
Backport Johan’s fixes to solutions file Create Release #18: Commit 390be6b pushed by PatrickMassot
February 26, 2025 09:18 14s master
master
February 26, 2025 09:18 14s
some typographic suggestions for Shorter.lean Create Release #17: Commit 2504282 pushed by PatrickMassot
February 26, 2025 09:13 16s master
master
February 26, 2025 09:13 16s
avoid exact in Introduction.lean Create Release #16: Commit 0ca3178 pushed by PatrickMassot
February 26, 2025 09:12 12s master
master
February 26, 2025 09:12 12s
Update exercise file Create Release #15: Commit 43f7196 pushed by PatrickMassot
February 25, 2025 15:21 16s master
master
February 25, 2025 15:21 16s
Tweaks to short track Create Release #14: Commit 05fcced pushed by PatrickMassot
February 25, 2025 15:13 12s master
master
February 25, 2025 15:13 12s
Precision for web users Create Release #13: Commit a2130c5 pushed by PatrickMassot
February 25, 2025 10:57 17s master
master
February 25, 2025 10:57 17s
Update README Create Release #12: Commit 2e63d43 pushed by PatrickMassot
February 25, 2025 10:56 16s master
master
February 25, 2025 10:56 16s
Move buggy markup Create Release #11: Commit b9381c7 pushed by PatrickMassot
February 25, 2025 09:58 13s master
master
February 25, 2025 09:58 13s
Use a short track Create Release #10: Commit 44320bd pushed by PatrickMassot
February 24, 2025 22:33 15s master
master
February 24, 2025 22:33 15s
Fix build Create Release #9: Commit 257264d pushed by PatrickMassot
February 24, 2025 17:18 14s master
master
February 24, 2025 17:18 14s
Add a video showing the calc widget Create Release #8: Commit ae003d5 pushed by PatrickMassot
February 24, 2025 17:15 15s master
master
February 24, 2025 17:15 15s
Fix build Create Release #7: Commit 257264d pushed by PatrickMassot
February 24, 2025 08:44 10s master
master
February 24, 2025 08:44 10s
Update Mathlib version Create Release #6: Commit 65ea991 pushed by PatrickMassot
February 24, 2025 08:40 16s master
master
February 24, 2025 08:40 16s
Create build.yml Create Release #5: Commit e125035 pushed by PatrickMassot
February 19, 2025 10:46 13s master
master
February 19, 2025 10:46 13s
fixes Create Release #4: Commit 69e817b pushed by PatrickMassot
February 19, 2025 10:31 13s master
master
February 19, 2025 10:31 13s
Fix typo Create Release #3: Commit 35e3cb3 pushed by PatrickMassot
November 14, 2024 10:15 14s master
master
November 14, 2024 10:15 14s
Fix some typos and a delaborator Create Release #2: Commit 0c1449c pushed by PatrickMassot
November 14, 2024 09:47 17s master
master
November 14, 2024 09:47 17s
Add create-release workflow (#15) Create Release #1: Commit 5482897 pushed by PatrickMassot
November 8, 2024 18:07 13s master
master
November 8, 2024 18:07 13s