Build tool on Linux

Remove info on releases available on Github; move old history to `doc/` #3

Sign in to view logs

Summary
Jobs
- build-linux
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux	6m 46s
	6m 46s