Back to pull request #1835

gui: tab width change and lineEdit border #6027

Sign in to view logs

Summary
Jobs
- make-exe-64
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
make-exe-64	36m 11s
	36m 11s