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

Suspected typo: complex numbers should be Gaussian integers ci #142: Commit 74d6d92 pushed by avigad
May 27, 2024 17:43 1m 36s master
master
May 27, 2024 17:43 1m 36s
Minor fix: enforce uniform capitalisation convention ci #141: Commit 7c8b4f5 pushed by avigad
May 27, 2024 17:41 1m 37s master
master
May 27, 2024 17:41 1m 37s
chore: add extensions.json to prevent pop-up about unnecessary extension ci #140: Pull request #205 opened by kim-em
May 27, 2024 09:47 1m 41s kim-em:extensions
kim-em:extensions
May 27, 2024 09:47 1m 41s
chore: bump Mathlib ci #139: Commit 0c598a2 pushed by PatrickMassot
May 24, 2024 14:15 1m 41s master
master
May 24, 2024 14:15 1m 41s
chore: bump Mathlib ci #138: Pull request #204 opened by kim-em
May 24, 2024 14:04 1m 47s kim-em:bump_mathlib_2024-05-25
kim-em:bump_mathlib_2024-05-25
May 24, 2024 14:04 1m 47s
chore: update Mathlib and Lean ci #137: Pull request #201 synchronize by kim-em
May 22, 2024 22:23 1m 47s kim-em:bump_v4.8.0-rc2
kim-em:bump_v4.8.0-rc2
May 22, 2024 22:23 1m 47s
Bump Lean toolchain ci #136: Commit 7ab6163 pushed by PatrickMassot
May 22, 2024 22:13 1m 40s master
master
May 22, 2024 22:13 1m 40s
write ¬x < x as ¬ (x < x) for clarity ci #134: Commit 4469465 pushed by avigad
May 6, 2024 18:28 1m 38s master
master
May 6, 2024 18:28 1m 38s
Bump Lean+Mathlib ci #131: Commit 9cef4f7 pushed by PatrickMassot
May 2, 2024 20:43 1m 36s master
master
May 2, 2024 20:43 1m 36s
Bump Lean+Mathlib ci #130: Commit bc47c6f pushed by PatrickMassot
May 2, 2024 20:29 1m 38s bump4.8
bump4.8
May 2, 2024 20:29 1m 38s
Start bumping ci #128: Commit 8a94104 pushed by PatrickMassot
May 2, 2024 15:53 1m 12s bump4.8
bump4.8
May 2, 2024 15:53 1m 12s
Fix minor typo in S02_Overview.lean ci #127: Commit ce06eb2 pushed by PatrickMassot
May 2, 2024 14:43 2m 6s master
master
May 2, 2024 14:43 2m 6s
another typo ci #126: Commit 2757c78 pushed by PatrickMassot
May 2, 2024 14:42 1m 55s master
master
May 2, 2024 14:42 1m 55s
Use Π instead of ∀ for statement of Chinese Remainder Theorem ci #125: Commit bb0b8fb pushed by PatrickMassot
May 2, 2024 14:42 1m 52s master
master
May 2, 2024 14:42 1m 52s
Minor fix: enforce uniform capitalisation convention ci #123: Pull request #192 opened by pitmonticone
April 26, 2024 14:31 1m 56s pitmonticone:master
pitmonticone:master
April 26, 2024 14:31 1m 56s
correct small typo ci #122: Pull request #191 synchronize by StevenClontz
April 22, 2024 21:46 1m 55s StevenClontz:patch-2
StevenClontz:patch-2
April 22, 2024 21:46 1m 55s
correct small typo ci #121: Pull request #191 opened by StevenClontz
April 22, 2024 19:18 2m 2s StevenClontz:patch-2
StevenClontz:patch-2
April 22, 2024 19:18 2m 2s
Fix minor inconsistency in S01_Calculating.lean ci #120: Commit cad8f9f pushed by PatrickMassot
April 22, 2024 02:47 1m 53s master
master
April 22, 2024 02:47 1m 53s
Less equal on partially ordered set is reflexive ci #117: Commit e310745 pushed by PatrickMassot
February 19, 2024 16:00 1m 52s master
master
February 19, 2024 16:00 1m 52s
Add another change. ci #116: Commit 325fb7f pushed by PatrickMassot
February 18, 2024 19:38 1m 59s master
master
February 18, 2024 19:38 1m 59s
Update S02_Metric_Spaces.lean and S03_Topological_Spaces.lean ci #115: Pull request #182 opened by newell
February 15, 2024 15:06 1m 59s newell:update-topology
newell:update-topology
February 15, 2024 15:06 1m 59s
Update S01_Filters.lean ci #114: Commit 889e9ba pushed by PatrickMassot
February 15, 2024 01:50 1m 49s master
master
February 15, 2024 01:50 1m 49s
Less equal on partially ordered set is reflexive ci #112: Pull request #180 synchronize by Yuhta
February 12, 2024 03:30 1m 50s Yuhta:fix
Yuhta:fix
February 12, 2024 03:30 1m 50s
Less equal on partially ordered set is reflexive ci #111: Pull request #180 opened by Yuhta
February 10, 2024 21:44 1m 50s Yuhta:fix
Yuhta:fix
February 10, 2024 21:44 1m 50s
Bump Lean version ci #110: Commit f50ff44 pushed by PatrickMassot
February 5, 2024 17:18 1m 54s master
master
February 5, 2024 17:18 1m 54s