Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix typo in Gaussian integers paragraph in C03 S02 ci #425: Pull request #415 opened by SnirBroshi
Action required SnirBroshi:patch-5
SnirBroshi:patch-5
Action required
Fix completions shortcut on Mac in C02 S03 and C03 S01 ci #424: Pull request #412 synchronize by SnirBroshi
Action required SnirBroshi:patch-2
SnirBroshi:patch-2
Action required
Delete duplicate theorem in #check in C02 S03 ci #423: Pull request #414 opened by SnirBroshi
Action required SnirBroshi:patch-4
SnirBroshi:patch-4
Action required
Delete "SOLUTION" comment in C02 S03 ci #422: Pull request #413 opened by SnirBroshi
Action required SnirBroshi:patch-3
SnirBroshi:patch-3
Action required
Fix completions shortcut on Mac in C02 S03 and C03 S01 ci #421: Pull request #412 opened by SnirBroshi
Action required SnirBroshi:patch-2
SnirBroshi:patch-2
Action required
Fix Loogle link in C02 S03 ci #420: Pull request #411 opened by SnirBroshi
Action required SnirBroshi:patch-1
SnirBroshi:patch-1
Action required
[typo] wrong typewriter text ending ci #419: Pull request #410 opened by ondrik
Action required ondrik:patch-1
ondrik:patch-1
Action required
chore: update old leanprover.github.io urls to point to lean-lang.org… Create Release #81: Commit c7a19be pushed by PatrickMassot
10s master
master
10s
chore: update old leanprover.github.io urls to point to lean-lang.org… ci #418: Commit c7a19be pushed by PatrickMassot
2m 50s master
master
2m 50s
Corrected typo in solution ci #416: Pull request #407 opened by danderson70-UNL
30d 0h 2m 21s danderson70-UNL:patch-1
danderson70-UNL:patch-1
30d 0h 2m 21s
Don't suggest non-existent eq_symm ci #415: Pull request #405 synchronize by jhrcek
30d 0h 3m 50s jhrcek:jan/no-eq_symm
jhrcek:jan/no-eq_symm
30d 0h 3m 50s
chore: move to the module system ci #414: Pull request #406 synchronize by grunweg
30d 0h 2m 25s grunweg:modulize
grunweg:modulize
30d 0h 2m 25s
chore: move to the module system ci #413: Pull request #406 synchronize by grunweg
30d 0h 3m 9s grunweg:modulize
grunweg:modulize
30d 0h 3m 9s
chore: move to the module system ci #412: Pull request #406 opened by grunweg
30d 0h 3m 36s grunweg:modulize
grunweg:modulize
30d 0h 3m 36s
Work around simpa being less lenient Create Release #80: Commit fa771b0 pushed by PatrickMassot
6s master
master
6s
Work around simpa being less lenient ci #409: Commit fa771b0 pushed by PatrickMassot
2m 39s master
master
2m 39s
Work around simpa being less lenient Create Release #79: Commit 3e76f03 pushed by PatrickMassot
9s master
master
9s
Work around simpa being less lenient ci #408: Commit 3e76f03 pushed by PatrickMassot
2m 43s master
master
2m 43s
bump to Lean v4.30.0 Create Release #78: Commit 8e112cd pushed by avigad
10s master
master
10s
bump to Lean v4.30.0 ci #407: Commit 8e112cd pushed by avigad
2m 45s master
master
2m 45s
update acknowledgements ci #406: Commit bfa25ea pushed by avigad
2m 34s master
master
2m 34s
update acknowledgements Create Release #77: Commit bfa25ea pushed by avigad
10s master
master
10s
fix theorem name; closes #399. ci #405: Commit 4bd5c28 pushed by avigad
2m 41s master
master
2m 41s
fix theorem name; closes #399. Create Release #76: Commit 4bd5c28 pushed by avigad
9s master
master
9s
Lean knows that the product of compact spaces is compact; closes #377. Create Release #75: Commit 0a35876 pushed by avigad
9s master
master
9s