Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

replace awkward simp by rw ci #292: Commit 375c991 pushed by avigad
February 14, 2025 01:36 2m 23s master
master
February 14, 2025 01:36 2m 23s
replace awkward simp by rw Create Release #24: Commit 375c991 pushed by avigad
February 14, 2025 01:36 13s master
master
February 14, 2025 01:36 13s
Bump Lean+Mathlib Create Release #23: Commit 36d73a7 pushed by PatrickMassot
February 13, 2025 23:07 14s master
master
February 13, 2025 23:07 14s
Bump Lean+Mathlib ci #291: Commit 36d73a7 pushed by PatrickMassot
February 13, 2025 23:07 2m 20s master
master
February 13, 2025 23:07 2m 20s
Fix broken solution files Create Release #22: Commit 46897eb pushed by PatrickMassot
February 13, 2025 10:26 12s master
master
February 13, 2025 10:26 12s
Fix broken solution files ci #290: Commit 46897eb pushed by PatrickMassot
February 13, 2025 10:26 2m 25s master
master
February 13, 2025 10:26 2m 25s
chore: switch to lakefile.toml (#281) ci #289: Commit 24ac630 pushed by PatrickMassot
February 12, 2025 21:55 2m 19s master
master
February 12, 2025 21:55 2m 19s
chore: switch to lakefile.toml (#281) Create Release #21: Commit 24ac630 pushed by PatrickMassot
February 12, 2025 21:55 11s master
master
February 12, 2025 21:55 11s
chore: switch to lakefile.toml ci #288: Pull request #281 opened by kim-em
February 11, 2025 23:06 2m 25s kim-em:toml
kim-em:toml
February 11, 2025 23:06 2m 25s
Fix copy-paste error in matrix computations Create Release #20: Commit 576db72 pushed by PatrickMassot
February 3, 2025 10:41 11s master
master
February 3, 2025 10:41 11s
Fix copy-paste error in matrix computations ci #287: Commit 576db72 pushed by PatrickMassot
February 3, 2025 10:41 2m 11s master
master
February 3, 2025 10:41 2m 11s
Tiny fix in S04_Bases.lean (#280) Create Release #19: Commit 9f5afe5 pushed by PatrickMassot
February 3, 2025 10:40 13s master
master
February 3, 2025 10:40 13s
Tiny fix in S04_Bases.lean (#280) ci #286: Commit 9f5afe5 pushed by PatrickMassot
February 3, 2025 10:40 2m 31s master
master
February 3, 2025 10:40 2m 31s
Tiny fix in S04_Bases.lean ci #285: Pull request #280 opened by LessnessRandomness
February 3, 2025 10:17 2m 14s LessnessRandomness:tiny_fix
LessnessRandomness:tiny_fix
February 3, 2025 10:17 2m 14s
Add missing theorems and solutions to C02 S01 ci #284: Pull request #279 opened by gaearon
February 1, 2025 23:35 Action required gaearon:patch-2
gaearon:patch-2
February 1, 2025 23:35 Action required
Add MIL.Common import to intro example ci #283: Pull request #278 opened by gaearon
February 1, 2025 20:44 Action required gaearon:patch-1
gaearon:patch-1
February 1, 2025 20:44 Action required
Fix typo ci #282: Pull request #277 opened by tobybell
January 27, 2025 23:43 Action required tobybell:patch-1
tobybell:patch-1
January 27, 2025 23:43 Action required
fix compilation errors ci #281: Commit 05d7225 pushed by avigad
January 20, 2025 21:47 2m 11s wip_discrete_math
wip_discrete_math
January 20, 2025 21:47 2m 11s
typos from Bernardo Subercaseaux Create Release #18: Commit 024eeab pushed by avigad
January 20, 2025 21:43 15s master
master
January 20, 2025 21:43 15s
typos from Bernardo Subercaseaux ci #280: Commit 024eeab pushed by avigad
January 20, 2025 21:43 2m 13s master
master
January 20, 2025 21:43 2m 13s
Fix minor typos and textbook rendering issues in C06S03 ci #279: Commit a620fcf pushed by avigad
January 20, 2025 21:18 2m 31s master
master
January 20, 2025 21:18 2m 31s
Fix minor typos and textbook rendering issues in C06S03 Create Release #17: Commit a620fcf pushed by avigad
January 20, 2025 21:18 10s master
master
January 20, 2025 21:18 10s
Add \ on backtick on .s Create Release #16: Commit 992865e pushed by avigad
January 20, 2025 21:16 15s master
master
January 20, 2025 21:16 15s
Add \ on backtick on .s ci #278: Commit 992865e pushed by avigad
January 20, 2025 21:16 2m 14s master
master
January 20, 2025 21:16 2m 14s
fixed typo ci #277: Commit 6a08b67 pushed by avigad
January 20, 2025 21:15 2m 12s master
master
January 20, 2025 21:15 2m 12s