Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
purescript-gargantext
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
137
Issues
137
List
Board
Labels
Milestones
Merge Requests
2
Merge Requests
2
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
purescript-gargantext
Issues
Open
8
Closed
48
All
56
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
[Docs View] Highlight sometimes broken
#598
· opened
Sep 18, 2023
by
Fabien Maniere
To Do
critical
1
6
updated
Sep 27, 2023
Doc View, ngrams selected: children of grouped terms are not shown
#551
· opened
May 25, 2023
by
delanoe
critical
26
updated
Jun 07, 2023
Error at reindexing + crash of Europa (0.0.6.9.9.4.1)
#545
· opened
May 08, 2023
by
david Chavalarias
critical
1
updated
May 09, 2023
Login impossible
#466
· opened
Nov 19, 2022
by
david Chavalarias
critical
3
updated
Nov 24, 2022
FEEDBACK ON 0.0.6.8.2
12 of 24 tasks completed
#459
· opened
Nov 06, 2022
by
david Chavalarias
UI
critical
document view
high
map/Charts
map/Graph
regression
tables
1
19
updated
May 23, 2023
Queries to API
#411
· opened
Jun 16, 2022
by
delanoe
critical
1
2
updated
Sep 21, 2022
[explorer] Pb with setting label size
#152
· opened
Feb 05, 2020
by
david Chavalarias
Release
critical
map/Graph
1
1
updated
Apr 27, 2020
Pb with search in Graph ExplorerAND/OR Counting occurrences
#111
· opened
Dec 06, 2019
by
david Chavalarias
V4 Release
Performances
critical
map/Graph
0
updated
Feb 05, 2020