Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to v4.22.0 (#306) Create Release #53: Commit 8baa112 pushed by PatrickMassot
12s master
master
12s
chore: bump to v4.21.0 (#305) Create Release #52: Commit 63824a3 pushed by PatrickMassot
10s master
master
10s
Remove uneeded dot Create Release #51: Commit 309f289 pushed by PatrickMassot
11s master
master
11s
Also put license in user_repo_source Create Release #50: Commit 137627b pushed by PatrickMassot
8s master
master
8s
Licences Create Release #49: Commit dd0692a pushed by PatrickMassot
12s master
master
12s
chore: bump to v4.20.1 (#302) Create Release #48: Commit 00f826e pushed by PatrickMassot
14s master
master
14s
bump to v4.20.0 Create Release #47: Commit 8e44e0d pushed by avigad
14s master
master
14s
Add Loogle for finding theorems (#297) Create Release #46: Commit 92240e0 pushed by PatrickMassot
16s master
master
16s
chore: bump to v4.19.0 (#298) Create Release #45: Commit a0afbe0 pushed by PatrickMassot
17s master
master
17s
Explain more magic in hierarchies chapter. Create Release #44: Commit ded7464 pushed by PatrickMassot
13s master
master
13s
Fix a number of typos/grammar errors in the Topology chapter (#286) Create Release #43: Commit cfe45a1 pushed by PatrickMassot
12s master
master
12s
Fix an outdated command name in VS Code (#284) Create Release #42: Commit 6147634 pushed by PatrickMassot
10s master
master
10s
Propagates Mathlib renaming Create Release #41: Commit cc77b6e pushed by PatrickMassot
10s master
master
10s
Fix an exmaple about MvPolynomial Create Release #40: Commit 4b97161 pushed by PatrickMassot
11s master
master
11s
Remove redundant argument Create Release #39: Commit 43f660b pushed by PatrickMassot
12s master
master
12s
Remove outdated discussion Create Release #38: Commit 53b55fd pushed by PatrickMassot
10s master
master
10s
Simplify infinitude of primes Create Release #37: Commit 12ef266 pushed by PatrickMassot
10s master
master
10s
Remove outdated comment Create Release #36: Commit 7d7dcd6 pushed by PatrickMassot
11s master
master
11s
Fix typo (#277) Create Release #35: Commit 8c5b938 pushed by PatrickMassot
14s master
master
14s
Fix a solution in chapter 10 Create Release #34: Commit 04e4ecc pushed by PatrickMassot
13s master
master
13s
Explain what rw stands for. Create Release #33: Commit 0bbe1ea pushed by PatrickMassot
14s master
master
14s
chore: refer to rw instead of rewrite (rewrite is not used in t… Create Release #32: Commit eb5f024 pushed by PatrickMassot
10s master
master
10s
chore: avoid deprecated Quotient.map₂, Quotient.out, `submodule_i… Create Release #31: Commit 82c6e7a pushed by PatrickMassot
10s master
master
10s
One more old sum syntax removal. Create Release #30: Commit b722386 pushed by PatrickMassot
15s master
master
15s
chore: avoid deprecated notation (∑ x in s, f x and ∏ x in s, f x… Create Release #29: Commit fee0c69 pushed by PatrickMassot
13s master
master
13s