.github/workflows/draft-pdf.yml

Addressing reviewer comments: less emphasis on SMT-LIB and explicitly #4

Sign in to view logs

Summary
Jobs
- Paper Draft
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Paper Draft	39s
	39s