issues
search
leanprover
/
reservoir
Package registry for Lean/Lake.
https://reservoir.lean-lang.org
Apache License 2.0
16
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat: add terms & privacy policy
#52
tydeu
closed
12 hours ago
0
feat: build API endpoints + netlify API refactor
#51
tydeu
closed
4 days ago
0
feat: S3 build cache
#50
tydeu
closed
5 days ago
0
Reservoir dependents for git dependencies
#49
kim-em
opened
2 weeks ago
0
Wrong package name
#48
lakesare
closed
2 weeks ago
3
fix: ensure packages are properly associated with repos
#47
tydeu
closed
2 months ago
0
feat: JSON case-preserving package aliases
#46
tydeu
closed
2 months ago
0
feat: Reservoir 1.0
#45
tydeu
closed
2 weeks ago
0
feat: search owner & description
#44
tydeu
closed
2 months ago
0
feat: redirect package to name w/ canonical casing
#43
tydeu
closed
2 months ago
0
refactor: package toolchain list
#42
tydeu
closed
2 months ago
0
refactor: use index GitHub token for querying
#41
tydeu
closed
2 months ago
0
feat: build archive metrics
#40
tydeu
closed
2 months ago
0
fix: keep index search under GH rate limit
#39
tydeu
closed
2 months ago
0
chore: update web dependencies (2024-06-27)
#38
tydeu
closed
3 months ago
0
fix: `package.json` per netlify function
#37
tydeu
closed
3 months ago
0
perf: use graphql to fetch manifests
#36
tydeu
closed
3 months ago
0
feat: API v1
#35
tydeu
closed
3 months ago
0
RFC: use github repo name
#34
joneugster
closed
4 months ago
2
feat: search for author
#33
joneugster
closed
2 months ago
0
Reservoir does not detect alternative "README" files such as `readme.md` and `README.org`.
#32
austinletson
closed
2 weeks ago
0
bug: reservoir not listing my package
#31
somombo
opened
5 months ago
3
feature request: tag search
#30
Seasawher
closed
2 weeks ago
0
"how used" section
#29
Seasawher
closed
5 months ago
4
chore: improve GH workflow resilience to errors
#28
tydeu
closed
5 months ago
0
fix: link checker errors on packages with spaces
#27
tydeu
closed
5 months ago
0
repo is not indexed
#26
Seasawher
opened
5 months ago
8
repo name is outdated
#25
Seasawher
closed
5 months ago
1
why repo name is not used?
#24
Seasawher
closed
6 months ago
2
feat: toolchain metadata & related cleanup
#23
tydeu
closed
6 months ago
0
feat: add inclusion criteria page & require `lake-manifest.json`
#22
tydeu
closed
6 months ago
0
lean dependabot
#21
Seasawher
opened
6 months ago
1
show indexing rule
#20
Seasawher
closed
6 months ago
0
chore: CI touchups
#19
tydeu
closed
8 months ago
0
feat: case-insensitive package aliases
#18
tydeu
closed
6 months ago
0
chore: simplify deploy CI & directly use netlify CLI
#17
tydeu
closed
8 months ago
0
feat: label for skipping testbed CI in PRs
#16
tydeu
closed
8 months ago
1
feat: REST API v0 using Netlify functions
#15
tydeu
closed
8 months ago
1
the search button is too big in mobile
#14
Seasawher
closed
6 months ago
0
indexing projects that are not the root of the repository
#13
kim-em
opened
8 months ago
2
Reservoir Version Ordering
#12
joehendrix
closed
6 months ago
0
cleanup ntptutorial
#11
kim-em
closed
8 months ago
1
Building on "Latest stable" means it is impossible to ensure a package will build
#10
digama0
opened
9 months ago
10
feat: do not overwrite a successful build with a failure
#9
tydeu
closed
9 months ago
2
mathlib currently shows a build failure for v4.3.0
#8
kim-em
closed
1 week ago
6
display dependencies and dependents on package pages
#7
kim-em
closed
2 weeks ago
0
opt out of reservoir
#6
kim-em
closed
2 weeks ago
1
highlight "intended" toolchain
#5
kim-em
closed
2 weeks ago
2
Control number of results on "all packages" package
#4
kim-em
closed
2 weeks ago
0
refactor: change package URL to `/@[owner]/[name]`
#3
tydeu
closed
9 months ago
1
Next