Skip to content

Feat: Add editable address bar in browser tab #119

Feat: Add editable address bar in browser tab

Feat: Add editable address bar in browser tab #119

Triggered via pull request August 9, 2024 11:04
Status Failure
Total duration 43s
Artifacts

lint.yml

on: pull_request
Lint frontend
23s
Lint frontend
Lint python
34s
Lint python
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Lint frontend: frontend/src/hooks/useTerminal.ts#L101
Delete `⏎·········`
Lint frontend
Process completed with exit code 1.