Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover-community/mathlib-tools issues and pull requests
#166 - build(deps): bump gitpython from 3.1.30 to 3.1.32
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 2 comments
Labels: dependencies
#165 - build(deps): bump certifi from 2022.12.7 to 2023.7.22
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 2 comments
Labels: dependencies
#164 - build(deps): bump requests from 2.25.1 to 2.31.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#163 - feat: --port-complete flag to list completely ported files
Pull Request -
State: closed - Opened by semorrison about 1 year ago
Labels: enhancement
#162 - feat: keep `to`-node in graph if it is ported
Pull Request -
State: closed - Opened by joneugster over 1 year ago
#161 - fix(install_debian): don't install VSCode if VSCodium has been installed
Pull Request -
State: closed - Opened by Hagb over 1 year ago
- 1 comment
#160 - CVE-2007-4559 Patch
Pull Request -
State: closed - Opened by TrellixVulnTeam over 1 year ago
- 1 comment
#159 - Bump gitpython from 3.1.14 to 3.1.30
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#158 - chore: add documentation of colourings of port status graphs
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#157 - feat: add --exclude-ported flag for import-graph
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#156 - Bump certifi from 2020.12.5 to 2022.12.7
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#155 - feat: port-progress should report longest path to the target
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#154 - Don't color red if file is considered ported
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 4 comments
#153 - Retain color when coloring by status
Pull Request -
State: closed - Opened by pechersky over 1 year ago
#152 - chore: add quotes around href attribute
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#151 - fix: port-progress reports remaining properly
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 1 comment
#150 - chore: no links on no PRs
Pull Request -
State: closed - Opened by pechersky over 1 year ago
#149 - Add hyperlinks to existing port PRs
Pull Request -
State: closed - Opened by pechersky over 1 year ago
#148 - Support yaml-style port status files
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 2 comments
#147 - feat: port command
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 5 comments
#146 - Parse comments in FileStatus
Pull Request -
State: closed - Opened by eric-wieser over 1 year ago
- 3 comments
#145 - Fix typing on `path` to rid of mypy lint errors
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 1 comment
#144 - GEXF export with FileStatus
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 3 comments
#143 - feat: tweaks to port-progress output
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#142 - hack for broken brew install of python
Pull Request -
State: closed - Opened by arienmalec over 1 year ago
#141 - try brew upgrade
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#140 - feat: port-progress shows unused imports in longest import chain
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#139 - chore: port-progress reformatting, per request
Pull Request -
State: closed - Opened by semorrison over 1 year ago
- 2 comments
#138 - Fix pyinstaller CI
Pull Request -
State: closed - Opened by eric-wieser over 1 year ago
#137 - refactor FileStatus as class, add `--mathlib4`
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 6 comments
#136 - feat: import-graph --show-unused
Pull Request -
State: closed - Opened by semorrison over 1 year ago
- 8 comments
#135 - feat: leanproject port-progress
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#134 - feat: add transitive edges when removing tactics nodes from the import-graph
Pull Request -
State: closed - Opened by semorrison over 1 year ago
- 1 comment
#133 - chore(import-graph): don't overwrite 'PR' colour with 'ready' colour
Pull Request -
State: closed - Opened by semorrison over 1 year ago
- 2 comments
#132 - chore: fix port-status colour
Pull Request -
State: closed - Opened by joneugster over 1 year ago
- 1 comment
#131 - port to tomli and tomli_w
Pull Request -
State: closed - Opened by xgqt over 1 year ago
- 2 comments
#130 - `toml` to `tomli` & `tomli_w` migration
Issue -
State: closed - Opened by xgqt over 1 year ago
- 6 comments
#129 - feat: --reduce flag to omit transitive imports
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#128 - Color node by port status
Pull Request -
State: closed - Opened by pechersky over 1 year ago
- 4 comments
#127 - chore: bump pyinstaller requirements
Pull Request -
State: closed - Opened by semorrison over 1 year ago
#126 - feat: flag to exclude tactics in import-graph
Pull Request -
State: closed - Opened by semorrison over 1 year ago
- 1 comment
#125 - Add a space in a log message spread over two lines
Pull Request -
State: closed - Opened by alexjbest almost 2 years ago
#124 - Bump pyjwt from 1.7.1 to 2.4.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#123 - import-graph: write raw dot file to ".rawdot" without layout info
Pull Request -
State: closed - Opened by m4lvin about 2 years ago
- 5 comments
#122 - Give a better error from leanproject new when elan default is set to Lean 4.
Pull Request -
State: closed - Opened by Julian over 2 years ago
- 2 comments
#121 - Remove use of deprecated logging methods.
Pull Request -
State: closed - Opened by Julian over 2 years ago
- 3 comments
#120 - 'leanproject new' fails with lean 4 installed
Issue -
State: closed - Opened by avigad over 2 years ago
- 2 comments
#119 - fix incorrect message in get-mathlib-cache
Pull Request -
State: closed - Opened by eric-wieser over 2 years ago
#118 - minor fix ('not all arguments converted during string formatting')
Pull Request -
State: closed - Opened by collares over 2 years ago
- 1 comment
#117 - Make a longest-pole script
Issue -
State: closed - Opened by BoltonBailey almost 3 years ago
- 1 comment
#116 - feat(mathlibtools): expose mathlibtools.__version__
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
- 8 comments
#115 - feat(leanproject mk-cache --force): create a temporary commit to house dirty caches
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
- 3 comments
#114 - wrap filenames containing hyphens in french quotes when making all.lean
Pull Request -
State: closed - Opened by alexjbest almost 3 years ago
#113 - fix: various improvements to get-cache
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
#112 - feat(get-cache): Show a vague indicator of progress when untar-ing the cache
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
- 14 comments
#111 - Bump urllib3 from 1.26.3 to 1.26.5
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#110 - fix(ci): Add missing dependency for PyInstaller
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
#109 - Bump urllib3 from 1.26.3 to 1.26.5 in /mathlibtools
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 3 comments
Labels: dependencies
#108 - Recommend homebrew for macOS in the README.
Pull Request -
State: closed - Opened by Julian almost 3 years ago
- 7 comments
#107 - macOS installer should suggest install steps for M1 users
Issue -
State: closed - Opened by Julian almost 3 years ago
- 3 comments
#106 - feat(get-cache): Perform a topological walk to find all viable caches
Pull Request -
State: closed - Opened by eric-wieser almost 3 years ago
- 20 comments
Labels: enhancement
#105 - Missing / inconsistent version tags
Issue -
State: closed - Opened by mans0954 almost 3 years ago
- 1 comment
#104 - feat(leanproject): download to a tempfile
Pull Request -
State: closed - Opened by Vierkantor almost 3 years ago
#103 - Update macOS installer
Pull Request -
State: closed - Opened by carlocab about 3 years ago
- 1 comment
#102 - Simplify the Install Script on macOS to use brew
Pull Request -
State: closed - Opened by Julian about 3 years ago
- 6 comments
#101 - feat(leanproject): create leanproject.exe for Windows on push
Pull Request -
State: closed - Opened by hmonroe about 3 years ago
- 9 comments
#100 - update elan URL
Pull Request -
State: closed - Opened by bryangingechen about 3 years ago
- 4 comments
#99 - Add CI for install_macos.sh
Pull Request -
State: closed - Opened by Julian over 3 years ago
#98 - Use --cask flag instead of cask command.
Pull Request -
State: closed - Opened by jasdev over 3 years ago
- 1 comment
#97 - fix(mk_cache): make xz archive instead of bz2
Pull Request -
State: closed - Opened by robertylewis over 3 years ago
- 3 comments
#96 - Do not touch the working tree when running `leanproject get-cache`
Pull Request -
State: closed - Opened by eric-wieser over 3 years ago
- 8 comments
Labels: WIP
#95 - Do not import networkx (and transitively numpy) until it is needed
Pull Request -
State: closed - Opened by eric-wieser over 3 years ago
- 4 comments
#94 - MacOS brew update of Python breaks leanproject
Issue -
State: closed - Opened by arademaker over 3 years ago
- 7 comments
#93 - fix(install_macos.sh): remove deprecated brew cask install
Pull Request -
State: closed - Opened by fpvandoorn over 3 years ago
- 3 comments
#92 - feat(leanproject) add a function to list imports that can be removed due to being imported transitively
Pull Request -
State: closed - Opened by alexjbest over 3 years ago
- 1 comment
#91 - why are we still talking about branch 'lean-3.4.2'?
Issue -
State: closed - Opened by kbuzzard over 3 years ago
- 3 comments
#90 - dont clean a dirty mathlib project
Pull Request -
State: closed - Opened by alexjbest over 3 years ago
- 1 comment
#89 - Update install-nix-action.
Pull Request -
State: closed - Opened by gebner over 3 years ago
#88 - Fix leanproject import-graph to not produce a graph with no edges
Pull Request -
State: closed - Opened by eric-wieser over 3 years ago
- 2 comments
#87 - Add an automatic release-on-tag-push GHA.
Pull Request -
State: closed - Opened by Julian over 3 years ago
- 4 comments
#86 - Remove Py35, Add Py39, Unify CI
Pull Request -
State: closed - Opened by Julian over 3 years ago
- 2 comments
#85 - [DO NOT MERGE] Tag leanpkg.tomls which were autogenerated as such.
Pull Request -
State: closed - Opened by Julian over 3 years ago
#84 - doc(README): development vs released version
Pull Request -
State: closed - Opened by fpvandoorn over 3 years ago
#83 - `elan` is not on $PATH in gnome-terminal
Issue -
State: closed - Opened by Vierkantor over 3 years ago
- 2 comments
#82 - Add $MATHLIB_CACHE_DIR to allow moving ~/.mathlib to a custom location.
Pull Request -
State: closed - Opened by Julian over 3 years ago
- 1 comment
#81 - Don't eat stderr when running leanproject decls.
Pull Request -
State: closed - Opened by Julian almost 4 years ago
#80 - Add a missing import for leanproject decls.
Pull Request -
State: closed - Opened by Julian almost 4 years ago
#79 - Allow running leanproject via `python -m`
Pull Request -
State: closed - Opened by eric-wieser almost 4 years ago
- 5 comments
#78 - Use appdirs for finding a platform-specific dir for mathlib caches.
Pull Request -
State: closed - Opened by Julian almost 4 years ago
- 11 comments
#77 - mathlib get-cache and similar should support fetching at specified hash
Issue -
State: closed - Opened by pechersky almost 4 years ago
- 1 comment
#76 - only check for .xz archives
Pull Request -
State: closed - Opened by semorrison almost 4 years ago
#75 - refactoring directory structure of mathlib can cause problems
Issue -
State: closed - Opened by kbuzzard almost 4 years ago
- 1 comment
#72 - SSH problems
Issue -
State: closed - Opened by mattearnshaw almost 4 years ago
- 5 comments
#71 - feat(post-checkout): don't run get-mathlib-cache if in mathlib
Pull Request -
State: closed - Opened by semorrison almost 4 years ago
#65 - feat(options): hide aliases for upgrade-mathlib, and allow prefixes
Pull Request -
State: closed - Opened by semorrison almost 4 years ago
- 2 comments
#64 - Return correct download path for olean caches fetched from github.
Pull Request -
State: closed - Opened by gebner about 4 years ago
- 3 comments
#57 - Interrupting download leaves corrupted archive behind
Issue -
State: closed - Opened by gebner about 4 years ago
- 1 comment
#56 - Add missing dependency to default.nix and add CI test.
Pull Request -
State: closed - Opened by gebner about 4 years ago
- 2 comments
#53 - import-graph dot file
Issue -
State: closed - Opened by jcommelin about 4 years ago
- 1 comment
Labels: enhancement
#52 - [email protected] has a dependency on numpy, but pip doesn't install it automatically
Issue -
State: closed - Opened by semorrison about 4 years ago
- 6 comments