Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / impermeable/waterproof issues and pull requests
#38 - Bump follow-redirects from 1.14.5 to 1.14.7
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#38 - Bump follow-redirects from 1.14.5 to 1.14.7
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#37 - Bump markdown-it from 8.4.2 to 12.3.2
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#37 - Bump markdown-it from 8.4.2 to 12.3.2
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#36 - Make the unfocused goal message be a goal and not a hypothesis
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#36 - Make the unfocused goal message be a goal and not a hypothesis
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#35 - Add setting for showing goals/hypotheses
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#35 - Add setting for showing goals/hypotheses
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#34 - Disable the buttons below the code blocks when no query is given
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#34 - Disable the buttons below the code blocks when no query is given
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#33 - Keep messages sent during add commands
Pull Request -
State: closed - Opened by davidot almost 3 years ago
- 2 comments
#33 - Keep messages sent during add commands
Pull Request -
State: closed - Opened by davidot almost 3 years ago
- 2 comments
#32 - Bump jszip from 3.5.0 to 3.7.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#32 - Bump jszip from 3.5.0 to 3.7.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#31 - Bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#31 - Bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#30 - Move to gh actions
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#30 - Move to gh actions
Pull Request -
State: closed - Opened by davidot almost 3 years ago
#29 - widen margin slightly
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#29 - widen margin slightly
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#28 - also detect unfocused goals when rerolling
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#28 - also detect unfocused goals when rerolling
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#27 - Fix initial whitespaces & don't remove the final .
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#27 - Fix initial whitespaces & don't remove the final .
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#26 - Bump electron from 9.3.3 to 11.5.0
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#26 - Bump electron from 9.3.3 to 11.5.0
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#25 - Make Waterproof work with bullets and braces
Issue -
State: open - Opened by jim-portegies almost 3 years ago
- 2 comments
#25 - Make Waterproof work with bullets and braces
Issue -
State: open - Opened by jim-portegies almost 3 years ago
- 2 comments
#24 - added new sertop path
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#24 - added new sertop path
Pull Request -
State: closed - Opened by SeanMcCarren almost 3 years ago
#23 - Add changes from the SEP project - Robust Waterproof
Pull Request -
State: open - Opened by TheTechZone about 3 years ago
#23 - Add changes from the SEP project - Robust Waterproof
Pull Request -
State: open - Opened by TheTechZone about 3 years ago
#22 - Settings modal
Pull Request -
State: closed - Opened by SeanMcCarren over 3 years ago
#22 - Settings modal
Pull Request -
State: closed - Opened by SeanMcCarren over 3 years ago
#21 - Vm preinstall of v0.5.3
Pull Request -
State: closed - Opened by SeanMcCarren over 3 years ago
- 1 comment
#21 - Vm preinstall of v0.5.3
Pull Request -
State: closed - Opened by SeanMcCarren over 3 years ago
- 1 comment
#20 - Bump electron from 9.3.3 to 9.4.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#20 - Bump electron from 9.3.3 to 9.4.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#19 - Execution error feedback shortened
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#19 - Execution error feedback shortened
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#18 - Highlight mode
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#18 - Highlight mode
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#17 - Refactor tactics
Pull Request -
State: closed - Opened by jim-portegies almost 4 years ago
#17 - Refactor tactics
Pull Request -
State: closed - Opened by jim-portegies almost 4 years ago
#16 - How to deal with sets
Pull Request -
State: closed - Opened by jim-portegies almost 4 years ago
#15 - Compile libraries on update
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
#15 - Compile libraries on update
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
#14 - Remove proofs on export
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#14 - Remove proofs on export
Pull Request -
State: closed - Opened by SeanMcCarren almost 4 years ago
- 1 comment
#13 - Ltac2
Issue -
State: closed - Opened by ThijsBeurskens almost 4 years ago
- 1 comment
#13 - Ltac2
Issue -
State: closed - Opened by ThijsBeurskens almost 4 years ago
- 1 comment
#12 - Databases
Issue -
State: closed - Opened by ThijsBeurskens almost 4 years ago
- 1 comment
#11 - Update libraries
Pull Request -
State: closed - Opened by ThijsBeurskens about 4 years ago
#10 - Bump electron from 5.0.11 to 7.2.4
Pull Request -
State: closed - Opened by dependabot[bot] about 4 years ago
- 1 comment
Labels: dependencies
#9 - Imports
Pull Request -
State: closed - Opened by jim-portegies over 4 years ago
#8 - Serapi 0.11 support
Pull Request -
State: closed - Opened by davidot over 4 years ago
Labels: enhancement
#7 - Add code execution icons
Pull Request -
State: closed - Opened by davidot almost 5 years ago
- 1 comment
#6 - Libraries
Pull Request -
State: closed - Opened by jim-portegies almost 5 years ago
#5 - Window scaling
Pull Request -
State: closed - Opened by ThijsBeurskens almost 5 years ago
#4 - Add travis ci file
Pull Request -
State: closed - Opened by davidot almost 5 years ago
#3 - Add tex-input
Pull Request -
State: closed - Opened by davidot almost 5 years ago
#2 - Config
Pull Request -
State: closed - Opened by jim-portegies almost 5 years ago
- 2 comments
#1 - Serapi refactor
Pull Request -
State: closed - Opened by davidot almost 5 years ago
- 4 comments