Skip to content
GitLab
Explore
Sign in
Open
1
Merged
15
Closed
0
All
16
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Fix option persistence
!16
· created
Sep 20, 2024
by
Jamie Willis
Merged
updated
Sep 20, 2024
Switch `os-lib` to 0.10.4
!15
· created
Aug 22, 2024
by
Jamie Willis
Merged
updated
Aug 22, 2024
Resolve "WACC Examples Selector"
!14
· created
Aug 09, 2024
by
Jamie Willis
post-sttp
suggestion
support
Merged
updated
Aug 22, 2024
Resolve "`io.laminext.fetch` does not guarantee API sync"
!12
· created
Aug 08, 2024
by
Jamie Willis
post-sttp
enhancement
web
Merged
1
updated
Aug 09, 2024
style(frontend): added (temporary?) favicon
!11
· created
Aug 06, 2024
by
Jamie Willis
Merged
updated
Aug 06, 2024
Resolve "Code editor does not capture text focus outside of text area"
!10
· created
Aug 05, 2024
by
Jamie Willis
bug
web
Merged
1
updated
Aug 05, 2024
chore: added some more legacy bug-hunters
!9
· created
Jul 27, 2024
by
Mark Wheelhouse
Merged
updated
Jul 28, 2024
chore: add Matthew and Joseph to bug hunters
!8
· created
Jul 26, 2024
by
Mark Wheelhouse
Merged
updated
Jul 26, 2024
Better Error Handling
!7
· created
Jul 19, 2024
by
Jamie Willis
Merged
updated
Jul 23, 2024
feat(ci): updates and version check
!6
· created
Jul 17, 2024
by
Jamie Willis
Merged
updated
Jul 17, 2024
Resolve "Line Numbers"
3 of 3 checklist items completed
!5
· created
Jul 16, 2024
by
Jamie Willis
css
enhancement
web
Merged
updated
Jul 17, 2024
Resolve "Better Tabs"
!4
· created
Jul 15, 2024
by
Jamie Willis
css
enhancement
web
Merged
updated
Jul 16, 2024
Resolve "Radio Options"
!3
· created
Jul 11, 2024
by
Jamie Willis
enhancement
web
Merged
updated
Jul 14, 2024
Light theme
!1
· created
Jul 05, 2024
by
Jamie Willis
Merged
updated
Jul 08, 2024
Delivery Optimisation
!2
· created
Jul 05, 2024
by
Jamie Willis
Merged
updated
Jul 05, 2024