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

#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