Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Typo: of -> or ci #259: Pull request #270 opened by fosslinux
January 4, 2025 11:18 Action required fosslinux:patch-1
fosslinux:patch-1
January 4, 2025 11:18 Action required
fix compilation errors ci #258: Commit f57c6c0 pushed by avigad
December 23, 2024 18:55 2m 14s wip_discrete_math
wip_discrete_math
December 23, 2024 18:55 2m 14s
fix compilation errors ci #257: Commit f8a8024 pushed by avigad
December 23, 2024 18:52 2m 15s wip_discrete_math
wip_discrete_math
December 23, 2024 18:52 2m 15s
fix some typos in Chapter 7 ci #256: Pull request #269 opened by faenuccio
December 18, 2024 16:36 Action required faenuccio:master
faenuccio:master
December 18, 2024 16:36 Action required
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
Fix inconsistent variations count in topology Create Release #4: Commit eba72d1 pushed by PatrickMassot
December 2, 2024 15:37 51s master
master
December 2, 2024 15:37 51s
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
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
Remove some spaces aroung mul/power/div. Create Release #3: Commit 77291b0 pushed by PatrickMassot
November 11, 2024 09:24 12s master
master
November 11, 2024 09:24 12s
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
Warn about non-commutative StrictOrderedRing Create Release #2: Commit 5cecbb6 pushed by PatrickMassot
November 11, 2024 09:20 16s master
master
November 11, 2024 09:20 16s
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
CI fix Create Release #1: Commit c6afbf9 pushed by PatrickMassot
November 8, 2024 18:07 11s master
master
November 8, 2024 18:07 11s
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