certora files for verification #2

	name: Build

	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]

	jobs:
	build:
	runs-on: ubuntu-latest

	strategy:
	matrix:
	node-version: [14.x]

	steps:
	- uses: actions/checkout@v2
	- name: Use Node.js ${{ matrix.node-version }}
	uses: actions/setup-node@v2
	with:
	node-version: ${{ matrix.node-version }}
	registry-url: https://npm.pkg.github.com/
	scope: '@aave'
	env:
	NODE_AUTH_TOKEN: ${{ secrets.PAT_PACKAGES_REGISTRY_READ_ONLY }}
	- uses: actions/cache@v2
	with:
	path: ~/.npm
	key: ${{ runner.os }}-node-${{ hashFiles('**/package-lock.json') }}
	restore-keys: \|
	${{ runner.os }}-node-
	- name: Install dependencies
	run: npm ci
	env:
	NODE_AUTH_TOKEN: ${{ secrets.PAT_PACKAGES_REGISTRY_READ_ONLY }}
	- name: Test
	run: npm run ci:test
	- name: Coverage
	run: npm run coverage
	- name: Publish coverage
	uses: codecov/codecov-action@v1
	with:
	fail_ci_if_error: true
	token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback