Repository navigation

Rust

Add workflow to trigger docs repo sync on push #68

Job	Run time
create-and-update	1m 28s
counter/native	1m 28s
counter/pinocchio	1m 21s
zk-id	2m 57s
account-comparison	1m 29s
basic-operations/native/native-program-burn	1m 27s
basic-operations/native/native-program-create	1m 16s
basic-operations/native/native-program-reinit	1m 38s
basic-operations/native/native-program-close	1m 17s
basic-operations/native/native-program-update	1m 20s
	15m 41s