epsilon #28

	name: CI

	on: [push, pull_request]

	env:
	OCAML_VERSION: 4.11.0
	CACHE_KEY: opam-8.16-${{github.base_ref}}-${{github.ref}}
	jobs:
	build-deps:
	runs-on: ubuntu-latest
	steps:
	- name: Try to restore build cache
	id: cache
	uses: actions/cache@v2
	with:
	path: "~/.opam"
	key: ${{env.CACHE_KEY}}
	restore-keys: \|
	opam-8.16--refs/heads/${{github.base_ref}}

	- name: Install OCaml
	uses: avsm/setup-ocaml@v1
	with:
	ocaml-version: ${{env.OCAML_VERSION}}

	- name: Checkout code
	if: steps.cache.outputs.cache-hit != 'true'
	uses: actions/checkout@v2
	with:
	fetch-depth: 1

	- name: Build dependencies
	if: steps.cache.outputs.cache-hit != 'true'
	run: \|
	opam repo add coq-released https://coq.inria.fr/opam/released
	opam update
	opam upgrade
	opam install . --deps-only --with-doc --with-test
	opam list --installed

	build-full:
	needs: build-deps
	runs-on: ubuntu-latest
	steps:
	- name: Restore build cache
	id: cache
	uses: actions/cache@v2
	with:
	path: "~/.opam"
	key: ${{env.CACHE_KEY}}

	- name: Check sucess of cache restoration
	if: steps.cache.outputs.cache-hit != 'true'
	run: exit

	- name: Install OCaml
	uses: avsm/setup-ocaml@v1
	with:
	ocaml-version: ${{env.OCAML_VERSION}}

	- name: Checkout code
	uses: actions/checkout@v2
	with:
	fetch-depth: 1

	- name: Build interfaces (vos)
	run: opam exec -- make -j 2 vos TIMED=1

	- name: Build full (vo)
	run: opam exec -- make -j 2 all TIMED=1

Provide feedback