Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix inconsistent variations count in topology ci #255: Commit eba72d1 pushed by PatrickMassot
December 2, 2024 15:37 2m 14s master
master
December 2, 2024 15:37 2m 14s
chore: bump dependencies ci #254: Pull request #264 opened by pitmonticone
December 1, 2024 19:11 2m 11s pitmonticone:bump
pitmonticone:bump
December 1, 2024 19:11 2m 11s
Fix typo in C02 / S03 ci #253: Pull request #263 opened by pkr895
November 26, 2024 14:14 Action required pkr895:master
pkr895:master
November 26, 2024 14:14 Action required
Remove some spaces aroung mul/power/div. ci #252: Commit 77291b0 pushed by PatrickMassot
November 11, 2024 09:24 2m 23s master
master
November 11, 2024 09:24 2m 23s
Warn about non-commutative StrictOrderedRing ci #251: Commit 5cecbb6 pushed by PatrickMassot
November 11, 2024 09:20 2m 17s master
master
November 11, 2024 09:20 2m 17s
CI fix ci #250: Commit c6afbf9 pushed by PatrickMassot
November 8, 2024 18:07 2m 24s master
master
November 8, 2024 18:07 2m 24s
Bump Mathlib ci #249: Commit ae94946 pushed by PatrickMassot
November 8, 2024 17:53 2m 10s master
master
November 8, 2024 17:53 2m 10s
Create create-release.yml (#252) ci #248: Commit e38a491 pushed by PatrickMassot
November 8, 2024 17:53 2m 8s master
master
November 8, 2024 17:53 2m 8s
Add create-release workflow ci #247: Pull request #252 opened by pitmonticone
November 8, 2024 17:06 2m 21s pitmonticone:workflow-create-release
pitmonticone:workflow-create-release
November 8, 2024 17:06 2m 21s
Layout fix by Zhu. ci #245: Commit e3d2385 pushed by PatrickMassot
October 21, 2024 08:04 2m 20s master
master
October 21, 2024 08:04 2m 20s
Typos in Chapter 06 ci #244: Pull request #246 opened by yannickseurin
October 10, 2024 08:30 2m 18s yannickseurin:typos_C06
yannickseurin:typos_C06
October 10, 2024 08:30 2m 18s
Fix an exercise issue ci #243: Commit 1f7a3ba pushed by PatrickMassot
October 5, 2024 14:31 2m 17s master
master
October 5, 2024 14:31 2m 17s
Bump Lean and Mathlib (#245) ci #242: Commit 7d79483 pushed by PatrickMassot
October 5, 2024 14:27 2m 2s master
master
October 5, 2024 14:27 2m 2s
Bump Lean and Mathlib ci #241: Pull request #245 opened by pitmonticone
October 4, 2024 17:58 2m 13s pitmonticone:master
pitmonticone:master
October 4, 2024 17:58 2m 13s
Bump Lean and Mathlib (#244) ci #240: Commit c8edb45 pushed by PatrickMassot
October 1, 2024 19:34 2m 20s master
master
October 1, 2024 19:34 2m 20s
Bump Lean and Mathlib ci #239: Pull request #244 opened by pitmonticone
October 1, 2024 17:11 2m 16s pitmonticone:bump-mathlib-lean
pitmonticone:bump-mathlib-lean
October 1, 2024 17:11 2m 16s
More chapter 9 typos (#243) ci #238: Commit 6745b97 pushed by PatrickMassot
September 27, 2024 14:13 1m 6s master
master
September 27, 2024 14:13 1m 6s
Cleaning chapter 9 ci #237: Pull request #243 opened by pitmonticone
September 27, 2024 14:08 2m 6s pitmonticone:cleaning-chapter-9
pitmonticone:cleaning-chapter-9
September 27, 2024 14:08 2m 6s
Fix a few typos in chapter 9 (#242) ci #236: Commit 6bd0ae8 pushed by PatrickMassot
September 27, 2024 13:35 2m 4s master
master
September 27, 2024 13:35 2m 4s
Fix a few typos in chapter 9 ci #235: Pull request #242 opened by pitmonticone
September 27, 2024 13:33 2m 22s pitmonticone:fix-typos-linear-algebra
pitmonticone:fix-typos-linear-algebra
September 27, 2024 13:33 2m 22s
Bump mathlib and polish. ci #234: Commit 4ae9e31 pushed by PatrickMassot
September 27, 2024 08:01 2m 14s master
master
September 27, 2024 08:01 2m 14s
Bump mathlib and polish. ci #233: Commit 4ae9e31 pushed by PatrickMassot
September 27, 2024 08:00 2m 16s linear_algebra
linear_algebra
September 27, 2024 08:00 2m 16s
Improve solutions in chapter 3 ci #232: Pull request #241 opened by pitmonticone
September 19, 2024 13:25 2m 4s pitmonticone:improve-solutions-chp3
pitmonticone:improve-solutions-chp3
September 19, 2024 13:25 2m 4s
Improve solutions in chapter 2 ci #231: Pull request #240 opened by pitmonticone
September 19, 2024 09:45 2m 4s pitmonticone:improve-solutions
pitmonticone:improve-solutions
September 19, 2024 09:45 2m 4s
Polish and add exercises ci #230: Commit f5fffff pushed by PatrickMassot
September 16, 2024 13:09 2m 17s linear_algebra
linear_algebra
September 16, 2024 13:09 2m 17s