Update proceedings section in cfp #105

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.
	# This workflow will download a prebuilt Ruby version, install dependencies and run tests with Rake
	# For more information see: https://github.com/marketplace/actions/setup-ruby-jruby-and-truffleruby

	name: Site deployment

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

	jobs:
	test:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2

	- name: Set up Ruby
	# To automatically get bug fixes and new Ruby versions for ruby/setup-ruby,
	# change this to (see https://github.com/ruby/setup-ruby#versioning):
	uses: ruby/setup-ruby@v1
	# uses: ruby/setup-ruby@ec106b438a1ff6ff109590de34ddc62c540232e0
	with:
	ruby-version: 2.6

	- name: Install dependencies
	run: bundle install

	- name: Build site
	run: ./maint/build.bash

	- name: Expose git commit data
	uses: rlespinasse/[email protected]

	- name: Deploy site
	uses: JamesIves/[email protected]
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GIT_CONFIG_NAME: ${{ env.GIT_COMMIT_AUTHOR_NAME }}
	GIT_CONFIG_EMAIL: ${{ env.GIT_COMMIT_AUTHOR_EMAIL }}
	BRANCH: gh-pages # The branch the action should deploy to.
	FOLDER: _site # The folder the action should deploy.
	CLEAN: true # Automatically remove deleted files from the deploy branch

Provide feedback