Add new issues and PRs to Vac Research project boards

Fair benchmark of proof systems (Implementations) #85

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Add issue to project	3s
	3s