chore: release v0.1.3 #1316

Job	Run time
Build & test (stable, ubuntu-latest)	5m 35s
Build & test (stable, macos-latest)	3m 14s
Build & test (stable, windows-latest)	8m 59s
Build & test (nightly, ubuntu-latest)	3m 31s
Build & test (nightly, macos-latest)	3m 17s
Build & test (nightly, windows-latest)	9m 2s
Build & test (1.84, ubuntu-latest)	5m 47s
Build & test (1.84, macos-latest)	2m 46s
Build & test (1.84, windows-latest)	8m 9s
Build with each feature combination	3m 1s
Clippy lint checks	30s
Test coverage checks	7m 14s
Test with external dependencies	2m 29s
Machete dependencies checks	15s
Minimal dependency versions build	24s
Code formatting checks	18s
Miri test	15m 14s
	1h 19m 45s

Provide feedback