PR

Add highlight to navbar showing current tab selected #502

Sign in to view logs

Summary
Jobs
- type-check
- lint
- test
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	1m 5s
test	1m 41s
type-check	1m 32s
type-check	1m 32s
lint	1m 28s
lint	1m 28s
	8m 46s