Build and release if tagged

Rename repo; rename directories; improve backup and dist scripts; add… #90

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	15s
release	0s
	15s