feat: `Name` trait + `Any` encoding support #6

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kani	1m 6s
machete	2m 11s
rustfmt	11s
test (stable, ubuntu-latest)	7m 58s
test (stable, macos-latest)	9m 51s
test (stable, windows-latest)	8m 53s
test (1.63, ubuntu-latest)	15m 22s
test (1.63, macos-latest)	16m 46s
test (1.63, windows-latest)	15m 46s
no-std	1m 8s
	1h 19m 12s