Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Lean and Mathlib ci #200: Commit 1a72f07 pushed by PatrickMassot
August 28, 2024 09:54 1m 58s master
master
August 28, 2024 09:54 1m 58s
WIP ci #199: Commit 3ac3d2d pushed by PatrickMassot
August 28, 2024 09:42 2m 4s linear_algebra
linear_algebra
August 28, 2024 09:42 2m 4s
Fix documentation typo in C08 / S01_Groups.lean (#231) ci #198: Commit fdddf1e pushed by PatrickMassot
August 26, 2024 14:10 1m 49s master
master
August 26, 2024 14:10 1m 49s
WIP ci #197: Commit ba9900a pushed by PatrickMassot
August 26, 2024 12:11 2m 3s linear_algebra
linear_algebra
August 26, 2024 12:11 2m 3s
fix compilation errors ci #196: Commit 4787b90 pushed by avigad
August 25, 2024 20:46 1m 46s wip_discrete_math
wip_discrete_math
August 25, 2024 20:46 1m 46s
make a start on the discrete math chapter ci #195: Commit 4a77b18 pushed by avigad
August 25, 2024 19:55 2m 18s wip_discrete_math
wip_discrete_math
August 25, 2024 19:55 2m 18s
Upgrade deprecated lemmas (#230) ci #193: Commit 5053326 pushed by PatrickMassot
August 22, 2024 21:01 1m 59s master
master
August 22, 2024 21:01 1m 59s
Upgrade deprecated lemmas ci #192: Pull request #230 opened by pitmonticone
August 22, 2024 20:29 1m 49s pitmonticone:upgrade-lemmas
pitmonticone:upgrade-lemmas
August 22, 2024 20:29 1m 49s
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