Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix build ci #229: Commit 9daf81b pushed by PatrickMassot
September 16, 2024 08:57 2m 4s linear_algebra
linear_algebra
September 16, 2024 08:57 2m 4s
Bump Mathlib ci #228: Commit 085d404 pushed by PatrickMassot
September 16, 2024 08:55 2m 1s linear_algebra
linear_algebra
September 16, 2024 08:55 2m 1s
Start text on matrices ci #227: Commit 99beea3 pushed by PatrickMassot
September 16, 2024 08:08 2m 19s linear_algebra
linear_algebra
September 16, 2024 08:08 2m 19s
Add some TODOs ci #226: Commit 6bdcebc pushed by PatrickMassot
September 15, 2024 22:00 2m 0s linear_algebra
linear_algebra
September 15, 2024 22:00 2m 0s
Polish a bit section 1 and 2 ci #225: Commit 23e4029 pushed by PatrickMassot
September 15, 2024 21:37 2m 0s linear_algebra
linear_algebra
September 15, 2024 21:37 2m 0s
Split into files ci #224: Commit 87e2de6 pushed by PatrickMassot
September 15, 2024 14:09 2m 8s linear_algebra
linear_algebra
September 15, 2024 14:09 2m 8s
Add some about Submodule.span ci #223: Commit 2fefd5b pushed by PatrickMassot
September 14, 2024 18:27 2m 0s linear_algebra
linear_algebra
September 14, 2024 18:27 2m 0s
Enhance readability in VS Code (#239) ci #222: Commit dd607c6 pushed by PatrickMassot
September 14, 2024 17:18 1m 48s master
master
September 14, 2024 17:18 1m 48s
Enhance readability in VS Code ci #221: Pull request #239 synchronize by pitmonticone
September 14, 2024 17:17 1m 47s pitmonticone:enhance-readability-vscode
pitmonticone:enhance-readability-vscode
September 14, 2024 17:17 1m 47s
Enhance readability in VS Code ci #220: Pull request #239 opened by pitmonticone
September 14, 2024 16:52 1m 50s pitmonticone:enhance-readability-vscode
pitmonticone:enhance-readability-vscode
September 14, 2024 16:52 1m 50s
Fix typo (#238) ci #219: Commit 364d319 pushed by PatrickMassot
September 14, 2024 15:36 2m 1s master
master
September 14, 2024 15:36 2m 1s
Fix typo ci #218: Pull request #238 opened by pitmonticone
September 14, 2024 13:55 1m 47s pitmonticone:fix-typo
pitmonticone:fix-typo
September 14, 2024 13:55 1m 47s
Kernels lemma exercise and eigenvalues ci #217: Commit 5f33b70 pushed by PatrickMassot
September 9, 2024 14:11 2m 3s linear_algebra
linear_algebra
September 9, 2024 14:11 2m 3s
Update S01_Elementary_Integration.lean ci #216: Pull request #236 opened by b-mehta
September 9, 2024 01:28 Action required b-mehta:patch-1
b-mehta:patch-1
September 9, 2024 01:28 Action required
update acknowledgments ci #215: Commit a9e8f49 pushed by avigad
September 8, 2024 20:53 1m 49s master
master
September 8, 2024 20:53 1m 49s
Correct minor informal math typo in S03_Infinitely_Many_Primes.lean ci #214: Commit dda3bb6 pushed by avigad
September 8, 2024 20:15 1m 49s master
master
September 8, 2024 20:15 1m 49s
Update lake-manifest.json ci #213: Commit 398dbcb pushed by avigad
September 8, 2024 20:14 1m 59s master
master
September 8, 2024 20:14 1m 59s
Explain dimension in general case. ci #211: Commit 1a4ceb6 pushed by PatrickMassot
September 6, 2024 16:44 2m 15s linear_algebra
linear_algebra
September 6, 2024 16:44 2m 15s
Bump Lean and Mathlib ci #210: Pull request #234 synchronize by pitmonticone
September 4, 2024 12:16 1m 51s pitmonticone:bump
pitmonticone:bump
September 4, 2024 12:16 1m 51s
Bump Lean and Mathlib ci #209: Pull request #234 synchronize by pitmonticone
September 3, 2024 12:11 1m 51s pitmonticone:bump
pitmonticone:bump
September 3, 2024 12:11 1m 51s
Bump Lean and Mathlib ci #208: Pull request #234 synchronize by pitmonticone
September 2, 2024 12:14 2m 0s pitmonticone:bump
pitmonticone:bump
September 2, 2024 12:14 2m 0s
Bump Lean and Mathlib ci #207: Pull request #234 synchronize by pitmonticone
September 2, 2024 08:02 2m 3s pitmonticone:bump
pitmonticone:bump
September 2, 2024 08:02 2m 3s