Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
W
webui-client
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
8
Issues
8
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Registry
Registry
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Algorithms Library Toolkit
webui-client
Merge Requests
Open
0
Merged
8
Closed
0
All
8
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
Created date
Priority
Created date
Last updated
Milestone due date
Popularity
Label priority
Staging
!8
· opened
Nov 15, 2020
by
Tomáš Pecka
MERGED
0
updated
Nov 15, 2020
worker: Allow logging to stderr
!7
· opened
Nov 14, 2020
by
Tomáš Pecka
staging
MERGED
0
updated
Nov 15, 2020
Split worker, catch ALT segfaults and timeouts
!6
· opened
Nov 02, 2020
by
Tomáš Pecka
MERGED
0
updated
Nov 07, 2020
webui: String input now shows link to ALT docs
!5
· opened
Oct 30, 2020
by
Tomáš Pecka
MERGED
0
updated
Oct 30, 2020
Fix DotConverter bug and show more detailed errors from worker
!4
· opened
Oct 28, 2020
by
Tomáš Pecka
MERGED
0
updated
Oct 29, 2020
Announce ALT and WebUI versions in client
!3
· opened
Oct 25, 2020
by
Tomáš Pecka
MERGED
0
updated
Oct 25, 2020
Deployment
!2
· opened
Jun 03, 2020
by
Tomáš Pecka
MERGED
0
updated
Jun 04, 2020
Deployment
!1
· opened
May 23, 2020
by
Tomáš Pecka
MERGED
5
updated
May 28, 2020
