Skip to content

Latest commit

 

History

History
 
 

workflows

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

GitHub Workflows

Difference between diff_pdf and build_without_diff

  • PDFs for diff will contain lipsum content for stable comparison
  • PDFs without diff will contain the original content, to test if any main content breaks the compilaiton