Blogpost about mining traces for optimization opportunities with z3 #434

	# This is a basic workflow to help you get started with Actions

	name: Nikola

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the main branch
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	jobs:
	nikola_build:
	runs-on: ubuntu-latest
	name: 'Build pages'
	steps:
	- name: Check out
	uses: actions/checkout@v3
	- name: Check valid checksums
	shell: bash
	run: python3 check_checksums.py
	- name: Build docs
	shell: bash
	run: \|
	sudo apt install virtualenv
	make build
	- name: Deploy
	if: github.ref == 'refs/heads/main'
	shell: bash
	run: \|
	# reuse the venv
	venv_nikola/bin/python -m pip install ghp-import
	venv_nikola/bin/ghp-import -m"Automatic push by ghp-import" -f -p -r origin -b gh-pages public

Provide feedback