Merge pull request #40 from bgd-labs/feat/pre-prod-deployments #104

Job	Run time
verify (verifyCrossChainControllerWithEmergency.conf)	8m 42s
verify (verifyCrossChainReceiver.conf --rule transaction_received_only_from_authorized_bridge_ada...	2h 0m 53s
verify (verifyCrossChainReceiver.conf --rule state_transition_to_deliver_iff_IBaseReceiverPortal_...	18m 7s
verify (verifyCrossChainReceiver.conf --rule envelope_state_witness_confirmed_to_delivered envelo...	52m 53s
verify (verifyCrossChainReceiver.conf --rule disallowReceiverBridgeAdapters_cannot_allow disallow...	56m 28s
verify (verifyCrossChainReceiver.conf --rule reachability encodeDecodeWorks encodeDecodeWorks_wit...	9m 36s
verify (verifyCrossChainReceiver.conf --rule firstBridgedAt_happened_in_the_past)	1h 16m 41s
verify (verifyCrossChainReceiver.conf --rule no_deliverEnvelope_after_receiveCrossChainMessage)	1h 15m 11s
verify (verifyCrossChainReceiver.conf --rule zero_firstBridgedAt_iff_not_received_from_msg_sender)	1h 5m 3s
	8h 3m 34s

Provide feedback