Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert refine' to refine (#229) ci #191: Commit b07049f pushed by PatrickMassot
August 22, 2024 16:38 1m 49s master
master
August 22, 2024 16:38 1m 49s
Convert refine' to refine ci #190: Pull request #229 opened by pitmonticone
August 22, 2024 16:20 2m 6s pitmonticone:refine'-refine
pitmonticone:refine'-refine
August 22, 2024 16:20 2m 6s
Fix dots (#228) ci #189: Commit 34b136b pushed by PatrickMassot
August 22, 2024 16:13 1m 49s master
master
August 22, 2024 16:13 1m 49s
Fix dots ci #188: Pull request #228 opened by pitmonticone
August 22, 2024 15:58 1m 45s pitmonticone:fix-dots
pitmonticone:fix-dots
August 22, 2024 15:58 1m 45s
add acknowledgments ci #187: Commit 69255a2 pushed by avigad
August 19, 2024 14:45 2m 2s master
master
August 19, 2024 14:45 2m 2s
Fix theorem name in 10.2 ci #186: Commit 5bfb4cf pushed by avigad
August 19, 2024 14:15 1m 48s master
master
August 19, 2024 14:15 1m 48s
Updates to align with final version of lean 4.10.0 ci #185: Commit e73f746 pushed by avigad
August 19, 2024 14:15 1m 50s master
master
August 19, 2024 14:15 1m 50s
missing space ci #184: Commit 805e5be pushed by avigad
August 19, 2024 14:14 1m 51s master
master
August 19, 2024 14:14 1m 51s
Update outdated VS Code command reference ci #183: Commit ab2dcfe pushed by avigad
August 19, 2024 14:13 1m 49s master
master
August 19, 2024 14:13 1m 49s
Fix typo ci #182: Commit 1bd18a8 pushed by avigad
August 19, 2024 14:09 1m 49s master
master
August 19, 2024 14:09 1m 49s
replace rw by simp ci #181: Commit 2956151 pushed by avigad
August 19, 2024 14:09 1m 58s master
master
August 19, 2024 14:09 1m 58s
use where for inductive types ci #180: Commit 8719991 pushed by avigad
August 19, 2024 14:08 1m 51s master
master
August 19, 2024 14:08 1m 51s
Fix theorem name in 10.2 ci #179: Pull request #226 opened by Yuhta
August 12, 2024 19:37 1m 46s Yuhta:fix
Yuhta:fix
August 12, 2024 19:37 1m 46s
Typos ci #177: Pull request #224 opened by yannickseurin
August 1, 2024 07:37 1m 46s yannickseurin:typos
yannickseurin:typos
August 1, 2024 07:37 1m 46s
Fix typo in C10.2 ci #175: Pull request #222 opened by victorliu5296
July 20, 2024 19:58 1m 47s victorliu5296:patch-1
victorliu5296:patch-1
July 20, 2024 19:58 1m 47s
replace rw by simp ci #174: Pull request #221 opened by yannickseurin
July 20, 2024 14:44 1m 42s yannickseurin:simp_vs_rw
yannickseurin:simp_vs_rw
July 20, 2024 14:44 1m 42s
use where when defining inductive types ci #173: Pull request #220 opened by yannickseurin
July 20, 2024 14:36 1m 43s yannickseurin:where_for_inductive
yannickseurin:where_for_inductive
July 20, 2024 14:36 1m 43s
cleanup ci #172: Commit 7aa2eed pushed by PatrickMassot
July 18, 2024 17:30 1m 53s master
master
July 18, 2024 17:30 1m 53s
Linear algebra file stub ci #171: Commit d10dda0 pushed by PatrickMassot
July 18, 2024 16:01 1m 53s linear_algebra
linear_algebra
July 18, 2024 16:01 1m 53s
Remove more Fintype from group file ci #170: Pull request #219 opened by tb65536
July 17, 2024 21:48 1m 55s tb_cleanup
tb_cleanup
July 17, 2024 21:48 1m 55s
cleanup ci #169: Commit 8434deb pushed by tb65536
July 17, 2024 21:45 1m 51s tb_cleanup
tb_cleanup
July 17, 2024 21:45 1m 51s
Remove more Fintype.card from group file ci #168: Commit b3a156d pushed by PatrickMassot
July 17, 2024 15:55 1m 52s master
master
July 17, 2024 15:55 1m 52s
Update S04_More_on_Order_and_Divisibility.lean ci #167: Commit a4096f1 pushed by PatrickMassot
July 17, 2024 07:15 1m 44s master
master
July 17, 2024 07:15 1m 44s
chore: bump to v4.10.0-rc2 ci #166: Commit 2e84558 pushed by tb65536
July 17, 2024 00:17 1m 57s tb_group
tb_group
July 17, 2024 00:17 1m 57s
chore: bump to v4.10.0-rc2 ci #164: Commit 2e84558 pushed by PatrickMassot
July 16, 2024 20:12 2m 21s master
master
July 16, 2024 20:12 2m 21s