Optimize CI process (esp GODI)
Optimize CI process (esp GODI)

Ignore-this: 7644d048855fce3cebfa13782a2fd805

darcs-hash:20120620020117-4d692-a021cede8fff2039d5fa545d885bc55e506edb4e

avsm/oasis-db-mirror,ocaml/oasis-db,ocaml/oasis-db,avsm/oasis-db-mirror,ocaml/oasis-db,avsm/oasis-db-mirror,avsm/oasis-db-mirror