Switch from TravisCI to GitHubCI

[ericneiva]

Hi, @fverdugo,

This is the merge request that switches from TravisCI to GitHubCI, mirroring the behaviour we have in Gridap#master as of c652730, i.e. a x64 full workflow and a x86 test-only workflow that only triggers at master.

Please, when all checks pass and you have some time, review and accept this merge request. Thanks.

[fverdugo]

Thanks for the PR!
@ericneiva can you please update also the badge in the README.md file?

[fverdugo]

@ericneiva

The deployment of docs failed. This is because we have not set the DOCUMENTER_KEY.

These are the steps to follow to fix this:

• You have to generate locally a special public/private key pair with documenter tools: https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#travis-ssh
• The public key goes in the deploy keys section of the repo (do not forget to give it write acces): https://github.com/gridap/GridapEmbedded/settings/keys
• The private key goes to the secrets section of the repo (never echo $DOCUMENTER_KEY in a workflow): https://github.com/gridap/GridapEmbedded/settings/secrets/actions

(perhaps it is a good idea copy+pase this into the Gridap wiki)

[ericneiva]

HI, @fverdugo, all done:

https://github.com/gridap/GridapEmbedded.jl/settings/keys
https://github.com/gridap/GridapEmbedded.jl/settings/secrets/actions
https://github.com/gridap/Gridap.jl/wiki/How-to-authenticate-to-host-documentation-in-GH