state ap_in_ff, di_in_ff #50

	on:
	push:
	branches:
	- master

	jobs:
	update_leanapap:
	runs-on: ubuntu-latest
	name: Build LeanAPAP
	steps:
	- name: Checkout project
	uses: actions/checkout@v2
	with:
	fetch-depth: 0

	- name: Update branch
	if: github.ref == 'refs/heads/master'
	uses: leanprover-contrib/update-versions-action@master

	- name: Retrieve cached docker container
	uses: satackey/[email protected]
	continue-on-error: true

	- name: Build docker container
	run: docker build -t leanapap .

	- name: Build project
	run: docker run --rm -v ${{ github.workspace }}:/src leanapap

	- name: Remove .gitignore for gh-pages
	run: rm docs/.gitignore

	- name: Bundle dependencies
	uses: ruby/setup-ruby@v1
	with:
	working-directory: docs
	ruby-version: "3.0" # Not needed with a .ruby-version file
	bundler-cache: true # runs 'bundle install' and caches installed gems automatically

	- name: Bundle website
	working-directory: docs
	run: JEKYLL_ENV=production bundle exec jekyll build

	- name: Deploy
	uses: JamesIves/[email protected]
	with:
	SINGLE_COMMIT: true
	BRANCH: gh-pages # The branch the action should deploy to.
	FOLDER: docs/_site

Provide feedback