CI

Add Sentential Decision Diagrams case study #33

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test on Linux	1m 6s
Rustfmt	11s
Test on Windows	2m 21s
Clippy	33s
Render PDFs	1m 58s
	6m 9s